Publisher
Springer Berlin Heidelberg
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proof-producing translation of higher-order logic into pure and stateful ML;Journal of Functional Programming;2014-01-20
2. Proof-producing synthesis of ML from higher-order logic;ACM SIGPLAN Notices;2012-10-15
3. Proof-producing synthesis of ML from higher-order logic;Proceedings of the 17th ACM SIGPLAN international conference on Functional programming;2012-09-09
4. Validated Compilation through Logic;Lecture Notes in Computer Science;2011
5. Compiling Higher Order Logic by Proof;Design and Verification of Microprocessor Systems for High-Assurance Applications;2010