Author:
de Vries Edsko,Löh Andres
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Closure-Free Functional Programming in a Two-Level Type Theory;Proceedings of the ACM on Programming Languages;2024-08-15
2. First-Class Data Types in Shallow Embedded Domain-Specific Languages using Metaprogramming;Proceedings of the 34th Symposium on Implementation and Application of Functional Languages;2022-08-31
3. A completely unique account of enumeration;Proceedings of the ACM on Programming Languages;2022-08-29
4. Datatype-generic programming meets elaborator reflection;Proceedings of the ACM on Programming Languages;2022-08-29
5. Staged sums of products;Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell;2020-08-09