Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Lecture Notes in Computer Science;U. Berger,1993
2. Berger, U., Schwichtenberg, H.: An inverse of the evaluation functional for typed λ-calculus. In: Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science, Amsterdam, The Netherlands, July 1991, pp. 203–211 (1991)
3. Coquand, T., Dybjer, P.: Intuitionistic model constructions and nor- malization proofs. Mathematical Structures in Computer Science 7, 75–94 (1997)
4. Danvy, O.: Type-directed partial evaluation. In: 23rd ACM Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, January 1996, pp. 242–257 (1996)
5. Danvy, O.: Online type-directed partial evaluation. In: Sato, M., Toyama, Y. (eds.) Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 1998, pp. 271–295 (1998)
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Semantic analysis of normalisation by evaluation for typed lambda calculus;Mathematical Structures in Computer Science;2022-09
2. Datatype-generic programming meets elaborator reflection;Proceedings of the ACM on Programming Languages;2022-08-29
3. Practical normalization by evaluation for EDSLs;Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell;2021-08-18
4. A Type Theoretic Specification of Partial Evaluation;Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14;2014
5. Formal neighbourhoods, combinatory Böhm trees, and untyped normalization by evaluation;Annals of Pure and Applied Logic;2012-02