Author:
Poswolsky Adam,Schürmann Carsten
Funder
National Science Foundation
Subject
General Computer Science,Theoretical Computer Science
Reference9 articles.
1. A new approach to abstract syntax with variable binding;Gabbay;Formal Aspects Computing,2002
2. A framework for defining logics;Harper;Journal of the Association for Computing Machinery,1993
3. Brigitte Pientka. A type-theoretic foundation for programming with higher-order abstract syntax and first-class substitutions. In Principles of Programming Languages, POPL, 2008
4. François Pottier. Static name control for FreshML. In Twenty-Second Annual IEEE Symposium on Logic In Computer Science (LICS'07), Wroclaw, Poland, July 2007
5. Frank Pfenning and Carsten Schürmann. Twelf User's Guide, 1.2 edition, September 1998. Available as Technical Report CMU-CS-98-173, Carnegie Mellon University
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Functional programming with λ-tree syntax;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
2. A Formalized General Theory of Syntax with Bindings: Extended Version;Journal of Automated Reasoning;2019-04-16
3. Bindings as bounded natural functors;Proceedings of the ACM on Programming Languages;2019-01-02
4. QED at Large: A Survey of Engineering of Formally Verified Software;Foundations and Trends® in Programming Languages;2019
5. Programs Using Syntax with First-Class Binders;Programming Languages and Systems;2017