Extraction in Coq: An Overview

This publication has 4 references indexed in Scilit:

• Program-ing finger trees in C oq
  Published by Association for Computing Machinery (ACM) ,2007
• Program Extraction from Normalization Proofs
  Studia Logica, 2006
• A New Extraction for Coq
  Published by Springer Nature ,2003
• Proofs about a folklore let-polymorphic type inference algorithm
  ACM Transactions on Programming Languages and Systems, 1998