Implementing Modules in the Coq System
- 1 January 2003
- book chapter
- Published by Springer Nature
- p. 270-286
- https://doi.org/10.1007/10930755_18
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Modular Reasoning in IsabellePublished by Springer Nature ,2000
- Essential concepts of algebraic specification and program developmentFormal Aspects of Computing, 1997
- A module calculus for pure type systemsPublished by Springer Nature ,1997
- A type-theoretic approach to higher-order modules with sharingPublished by Association for Computing Machinery (ACM) ,1994
- Manifest types, modules, and separate compilationPublished by Association for Computing Machinery (ACM) ,1994