Author:
Chakravarty Manuel M. T.,Keller Gabriele,Jones Simon Peyton
Cited by
87 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Weighted Refinement Types for Counterpoint Composition;Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design;2023-08-30
2. Embedded pattern matching;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06
3. Describing microservices using modern Haskell (experience report);Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell;2020-08-09
4. Kind inference for datatypes;Proceedings of the ACM on Programming Languages;2020-01
5. Casting about in the dark: an empirical study of cast operations in Java programs;Proceedings of the ACM on Programming Languages;2019-10-10