Author:
Abel Andreas,Pientka Brigitte,Thibodeau David,Setzer Anton
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Scoped and Typed Staging by Evaluation;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. Live Pattern Matching with Typed Holes;Proceedings of the ACM on Programming Languages;2023-04-06
3. A Bowtie for a Beast: Overloading, Eta Expansion, and Extensible Data Types in F⋈;Proceedings of the ACM on Programming Languages;2023-01-09
4. Classical (co)recursion: Mechanics;Journal of Functional Programming;2023
5. On Coevaluation Behavior and Equivalence;Mathematics;2022-10-14