Author:
Myreen Magnus O.,Owens Scott,Kumar Ramana
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Lecture Notes in Computer Science;J. Harrison,2009
2. LNAI;J. Harrison,2006
3. Lecture Notes in Computer Science;J. Hurd,2011
4. Myreen, M.O., Davis, J.: The reflective Milawa theorem prover is sound (2012),
http://www.cl.cam.ac.uk/~mom22/jitawa/
5. Myreen, M.O., Owens, S.: Proof-producing synthesis of ML from higher-order logic. In: Thiemann, P., Findler, R.B. (eds.) International Conference on Functional Programming (ICFP). ACM (2012)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formally verified differential dynamic logic;Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs;2017-01-16
2. Self-Formalisation of Higher-Order Logic;Journal of Automated Reasoning;2016-02-15
3. Proof-producing translation of higher-order logic into pure and stateful ML;Journal of Functional Programming;2014-01-20
4. CakeML;ACM SIGPLAN Notices;2014-01-13
5. CakeML;Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2014-01-08