Publisher
Springer Berlin Heidelberg
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantic analysis of normalisation by evaluation for typed lambda calculus;Mathematical Structures in Computer Science;2022-09
2. Practical normalization by evaluation for EDSLs;Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell;2021-08-18
3. Exponential Elimination for Bicartesian Closed Categorical Combinators;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
4. Staged generic programming;Proceedings of the ACM on Programming Languages;2017-08-29
5. The Essence of Multi-stage Evaluation in LMS;A List of Successes That Can Change the World;2016