Author:
Atkey Robert,Lindley Sam,Yallop Jeremy
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Embedding by Unembedding;Proceedings of the ACM on Programming Languages;2023-08-30
2. Embedded pattern matching;Proceedings of the 15th ACM SIGPLAN International Haskell Symposium;2022-09-06
3. 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
4. Verified Technology Mapping in an Agda DSL for Circuit Design;Proceedings of the 34th Symposium on Implementation and Application of Functional Languages;2022-08-31
5. Practical normalization by evaluation for EDSLs;Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell;2021-08-18