Publisher
Springer International Publishing
Reference25 articles.
1. Lecture Notes in Computer Science;JC Blanchette,2014
2. Christiansen, D., Brady, E.: Elaborator reflection: extending idris in idris. In: Garrigue, J., Keller, G., Sumii, E. (eds.) International Conference on Functional Programming, pp. 284–297. ACM (2016)
3. Coq Development Team: The Coq Proof Assistant: Reference Manual. Technical report, INRIA (2015)
4. Ebner, G., Ullrich, S., Roesch, J., Avigad, J., de Moura, L.: A metaprogramming framework for formal verification. In: Proceedings of the ACM on Programming Languages, vol. 1, no. ICFP, pp. 34:1–34:29 (2017)
5. Gordon,M.: HOL: a proof generating system for higher-order logic. In: Birtwistle, G., Subrahmanyam, P. (eds.) VLSI Specification, Verification and Synthesis, pp. 73–128. Kluwer-Academic Publishers (1988)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献