Functors for Proofs and Programs

This publication has 9 references indexed in Scilit:

• A New Extraction for Coq
  Published by Springer Nature ,2003
• Implementing Modules in the Coq System
  Published by Springer Nature ,2003
• A modular module system
  Journal of Functional Programming, 2000
• Purely Functional Data Structures
  Published by Cambridge University Press (CUP) ,1998
• A module calculus for pure type systems
  Published by Springer Nature ,1997
• A type-theoretic approach to higher-order modules with sharing
  Published by Association for Computing Machinery (ACM) ,1994
• Functional Pearls Efficient sets—a balancing act
  Journal of Functional Programming, 1993
• Deforestation: transforming programs to eliminate trees
  Theoretical Computer Science, 1990
• A dichromatic framework for balanced trees
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1978