Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Aydemir, B.E., Charguéraud, A., Pierce, B.C., Pollack, R., Weirich, S.: Engineering formal metatheory. In: Necula, G.C., Wadler, P. (eds.) POPL, pp. 3–15. ACM Press, New York (2008)
2. Lecture Notes in Computer Science;J. Carette,2007
3. Chlipala, A.J.: Parametric higher-order abstract syntax for mechanized semantics. In: ICFP, pp. 143–156 (2008)
4. Lecture Notes in Computer Science;T. Coquand,1985
5. de Bruijn, N.G.: Lambda-calculus notation with nameless dummies: a tool for automatic formula manipulation with application to the Church-Rosser theorem. Indag. Math. 34, 381–392 (1972)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl);Proceedings of the ACM on Programming Languages;2024-08-15
2. Embedding by Unembedding;Proceedings of the ACM on Programming Languages;2023-08-30
3. Embedding invertible languages with binders: a case of the FliPpr language;Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell;2018-09-17
4. Incorporating quotation and evaluation into Church's type theory;Information and Computation;2018-06
5. Names for free;ACM SIGPLAN Notices;2014-01-31