Extracting ω's programs from proofs in the calculus of constructions
Author:
Paulin-Mohring C.
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Internalizing Indistinguishability with Dependent Types;Proceedings of the ACM on Programming Languages;2024-01-05
2. Extracting functional programs from Coq, in Coq;Journal of Functional Programming;2022
3. Making Tezos Smart Contracts More Reliable with Coq;Lecture Notes in Computer Science;2020
4. A Classical Sequent Calculus with Dependent Types;ACM Transactions on Programming Languages and Systems;2019-06-21
5. Program Extraction for Mutable Arrays;Functional and Logic Programming;2018