Author:
Maksimović Petar,Schmitt Alan
Publisher
Springer International Publishing
Reference27 articles.
1. 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 (POPL), pp. 3–15. ACM, Jan 2008
2. Lecture Notes in Computer Science;J Bengtson,2009
3. Boulier, S., Schmitt, A.: Formalisation de HOCore en Coq. In: Actes des 23èmes Journées Francophones des Langages Applicatifs, Jan 2012
4. Lecture Notes in Computer Science;Z Cao,2006
5. Charguéraud, A.: The locally nameless representation. J. Autom. Reasoning, 1–46 (2011). doi:
10.1007/s10817-011-9225-2
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献