Author:
Chen Juan,Hawblitzel Chris,Perry Frances,Emmi Mike,Condit Jeremy,Coetzee Derrick,Pratikaki Polyvios
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ANF preserves dependent types up to extensional equality;Journal of Functional Programming;2022
2. A certified framework for compiling and executing garbage-collected languages;ACM SIGPLAN Notices;2010-09-27
3. Inferable object-oriented typed assembly language;ACM SIGPLAN Notices;2010-06-12
4. Inferable object-oriented typed assembly language;Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation - PLDI '10;2010
5. A Formally Verified Compiler Back-end;Journal of Automated Reasoning;2009-11-04