Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Gert-Jan Bottu"'
Elaboration-based type class resolution, as found in languages like Haskell, Mercury and PureScript, is generally nondeterministic: there can be multiple ways to satisfy a wanted constraint in terms of global instances and locally given constraints.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::03707554644a91eac513f83e0073510d
https://lirias.kuleuven.be/handle/123456789/673278
https://lirias.kuleuven.be/handle/123456789/673278
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