Author:
Wang Yuting,Chaudhuri Kaustuv,Gacek Andrew,Nadathur Gopalan
Cited by
10 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. Formalization of Metatheory of the Quipper Quantum Programming Language in a Linear Logic;Journal of Automated Reasoning;2019-06-22
3. POPLMark reloaded: Mechanizing proofs by logical relations;Journal of Functional Programming;2019
4. Mechanized Metatheory Revisited;Journal of Automated Reasoning;2018-10-04
5. A two-level logic perspective on (simultaneous) substitutions;Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs;2018-01-08