Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Georgios Karachalias"'
Publikováno v:
Proceedings of the ACM on Programming Languages. 5:1-28
The popularity of algebraic effect handlers as a programming language feature for user-defined computational effects is steadily growing. Yet, even though efficient runtime representations have already been studied, most handler-based programs are st
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b6b01e2b4233c0131f0b912b9b911acb
https://doi.org/10.1145/3485479
https://doi.org/10.1145/3485479
Resolution and subtyping are two common mechanisms in programming languages. Resolution is used by features such as type classes or Scala-style implicits to synthesize values automatically from contextual type information. Subtyping is commonly used
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e23b4f25be44c65c9965e20e73873b0
https://lirias.kuleuven.be/handle/123456789/667415
https://lirias.kuleuven.be/handle/123456789/667415
As popularity of algebraic effects and handlers increases, so does a demand for their efficient execution. Eff, an ML-like language with native support for handlers, has a subtyping-based effect system on which an effect-aware optimizing compiler cou
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1e6151e61574ce9c9efe78b8a95b8fdd
Publikováno v:
Haskell@ICFP
GADTs were introduced in Haskell's eco-system more than a decade ago, but their interaction with several mainstream features such as type classes and functional dependencies has a lot of room for improvement. More specifically, for some GADTs it can
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4bbcfae93936706e41311f342de968de
https://lirias.kuleuven.be/handle/123456789/639312
https://lirias.kuleuven.be/handle/123456789/639312
Publikováno v:
Programming Languages and Systems ISBN: 9783319898834
ESOP
ESOP
As popularity of algebraic effects and handlers increases, so does a demand for their efficient execution. Eff, an ML-like language with native support for handlers, has a subtyping-based effect system on which an effectaware optimizing compiler coul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ceae7f6455a01c0d84aa35c879716b9d
https://doi.org/10.1007/978-3-319-89884-1_12
https://doi.org/10.1007/978-3-319-89884-1_12
Autor:
Tom Schrijvers, Georgios Karachalias
Publikováno v:
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell -Haskell 2017
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell-Haskell 2017
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell
Haskell
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell-Haskell 2017
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell
Haskell
Functional dependencies are a popular extension to Haskell's type-class system because they provide fine-grained control over type inference, resolve ambiguities and even enable type-level computations. Unfortunately, several aspects of Haskell's fun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::aef91713e3a3250f8c4cda905a7a3a3c
Publikováno v:
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell-Haskell 2017
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell -Haskell 2017
Haskell
Bottu, G-J, Karachalias, G, Schrijvers, T, Oliveira, B C D S & Wadler, P 2017, Quantified Class Constraints . in ICFP Workshops 2017-10th ACM SIGPLAN International Haskell Symposium (Haskell 2017). . ACM SIGPLAN Notices, no. 10, vol. 52, pp. 148-161, 10th ACM SIGPLAN International Haskell Symposium, Oxford, United Kingdom, 3/09/17 . https://doi.org/10.1145/3122955.3122967
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell-Haskell 2017
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell -Haskell 2017
Haskell
Bottu, G-J, Karachalias, G, Schrijvers, T, Oliveira, B C D S & Wadler, P 2017, Quantified Class Constraints . in ICFP Workshops 2017-10th ACM SIGPLAN International Haskell Symposium (Haskell 2017). . ACM SIGPLAN Notices, no. 10, vol. 52, pp. 148-161, 10th ACM SIGPLAN International Haskell Symposium, Oxford, United Kingdom, 3/09/17 . https://doi.org/10.1145/3122955.3122967
Quantified class constraints have been proposed many years ago to raise the expressive power of type classes from Horn clauses to the universal fragment of Hereditiary Harrop logic. Yet, while it has been much asked for over the years, the feature wa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a4a8570c373c20790eb0c12be101aef