Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference46 articles.
1. Altenkirch, T., McBride, C., McKinna, J.: Why Dependent Types Matter. Available from http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.106.8190 (2005). Accessed Apr 2006
2. Aydemir, B., Bohannon, A., Fairbairn, M., Foster, J.N., Pierce, B.C., Sewell, P., Vytiniotis, D., GeoffrG.ey Washburn, Weirich, S., Zdancewic, S.: Mechanized metatheory for the masses: the PoplMark challenge. In: TPHOLs, vol. 3603 of LNCS, pp. 50–65. Springer (2005)
3. Aydemir, B., Weirich, S., Zdancewic, S.: Abstracting Syntax. Technical Reports (CIS) (2009)
4. Aydemir, B., Charguéraud, A., Pierce, B.C., Pollack, R., Weirich, S.: Engineering formal metatheory. In: ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (2008)
5. Barras, B., Werner, B.: Coq in coq. Available from http://pauillac.inria.fr/~barras/coq_work-eng.html (1997). Accessed Mar 2006
Cited by
88 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Free Foil: Generating Efficient and Scope-Safe Abstract Syntax;2024 4th International Conference on Code Quality (ICCQ);2024-06-22
2. Hashing Modulo Context-Sensitive -Equivalence;Proceedings of the ACM on Programming Languages;2024-06-20
3. Guided Equality Saturation;Proceedings of the ACM on Programming Languages;2024-01-05
4. Nominal Recursors as Epi-Recursors;Proceedings of the ACM on Programming Languages;2024-01-05
5. Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation;Lecture Notes in Computer Science;2024