Extraction in Coq: An Overview (Q3507450): Difference between revisions

@@ Property / cites work @@
+Program extraction from normalization proofs
@@ Property / cites work: Program extraction from normalization proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852042
@@ Property / cites work: Q2852042 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Defining and Reasoning About Recursive Functions: A Practical Tool for the Coq Proof Assistant
+Normal rank
@@ Property / cites work @@
+Formal certification of a compiler back-end or
@@ Property / cites work: Formal certification of a compiler back-end or / rank @@
+Normal rank
@@ Property / cites work @@
+Program-ing finger trees in C             <scp>oq</scp>
@@ Property / cites work: Program-ing finger trees in C <scp>oq</scp> / rank @@
+Normal rank