Zobrazeno 1 - 9
of 9
pro vyhledávání: '"BRACHTHÄUSER, JONATHAN IMMANUEL"'
Publikováno v:
Proc. ACM Program. Lang. 7, OOPSLA2, Article 237 (October 2023), 29 pages
Creating good type error messages for constraint-based type inference systems is difficult. Typical type error messages reflect implementation details of the underlying constraint-solving algorithms rather than the specific factors leading to type mi
Externí odkaz:
http://arxiv.org/abs/2402.12637
Autor:
Boruch-Gruszecki, Aleksander, Brachthäuser, Jonathan Immanuel, Lee, Edward, Lhoták, Ondřej, Odersky, Martin
Type systems usually characterize the shape of values but not their free variables. However, there are many desirable safety properties one could guarantee if one could track how references can escape. For example, one may implement algebraic effect
Externí odkaz:
http://arxiv.org/abs/2105.11896
An important aspect of software development is to structure the control flow of a program. Features to structure the control flow range from simple branching between two possible execution paths, to non-local control-flow transfers by means of jumps
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______707::46dbc1352bbb840e886956eff711ea20
https://hdl.handle.net/10900/102021
https://hdl.handle.net/10900/102021
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Journal of Functional Programming; 2020, Vol. 30, p1-46, 46p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Programming with monads can be advantageous even in imperative languages with builtin support for side effects. However, in these languages composing monadic programs is different from composing side effecting imperative programs. This does not need
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______185::a817c16c9c1d28a6ea17a1b05ac13f15
https://infoscience.epfl.ch/record/291935
https://infoscience.epfl.ch/record/291935
In metaprogramming, code generation and code analysis are complementary. Traditionally, principled metaprogramming extensions for programming languages, like MetaML and BER MetaOCaml, offer strong foundations for code generation but lack equivalent s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______185::0d72a3261adb6a4be9a66a735b08ca3e
https://infoscience.epfl.ch/record/288718
https://infoscience.epfl.ch/record/288718