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
85 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Guided Equality Saturation;Proceedings of the ACM on Programming Languages;2024-01-05
2. Nominal Recursors as Epi-Recursors;Proceedings of the ACM on Programming Languages;2024-01-05
3. Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15
4. Comparing the Expressiveness of the π-calculus and CCS;ACM Transactions on Computational Logic;2023-11-18
5. Finitary Type Theories With and Without Contexts;Journal of Automated Reasoning;2023-10-07