El ements de Math ematiquee Th eorie des Ensembles, c hapter IV, 1970. ,
Typeful programming, Formal description of programming concepts, pp.431-507, 1989. ,
The Coq Proof Assistant Reference Manual Version 5, INRIA, vol.10, 1995. ,
The calculus of constructions, Inf. Comp, vol.76, pp.95-120, 1988. ,
URL : https://hal.archives-ouvertes.fr/inria-00076024
Abstract types and the dot notation, Proceedings IFIP TC2 working conference o n p r ogramming concepts and methods, 1990. ,
URL : https://hal.archives-ouvertes.fr/hal-01499980
A meta-mathematical investigation of a Calculus of Constructions. Private Communication, 1987. ,
The IMPS User's Manual. The MITRE Corporation, 1995. ,
Proofs and Types, Theoretical Computer Science. C a m bridge University Press, 1989. ,
Report on the Programming Language Haskell: A no-strict purely Functional Language, ACM Sigplan Notices, vol.27, issue.5, 1992. ,
A type-theoretic approach to higher-order modules with sharing, 21st Symposium on Principles of Programming Languages, pp.123-137, 1994. ,
A type discipline for program modules, TAPSOFT 87, vol.250, pp.308-319, 1987. ,
, The deenition of Standard M L, 1990.
A module system for a programming language based on the LF logical framework, 1992. ,
An Introduction to Gofer, 1991. ,
Using parameterized signatures to express modular structures, 23rd S y m p osium on Principles of Programming Languages, 1996. ,
The deenition of Extended ML: a gentle introduction, Theoretical Computer Science ,
Manifest types, modules, and separate compilation, 21st symp. Principles of Progr. Lang., pages 109{122, 1994. ,
URL : https://hal.archives-ouvertes.fr/hal-01499976
Applicative functors and fully transparent higher-order modules, 22nd Symposium on Principles of Programming Languages, pp.142-153, 1995. ,
URL : https://hal.archives-ouvertes.fr/hal-01499966
, , 1996.
Abstract types have existential type, ACM Trans. Prog. Lang. Syst, vol.10, issue.3, pp.470-502, 1988. ,
Bounded quantiication is undecidable, 19th Symposium on Principles of Programming Languages, pp.305-315, 1992. ,
Typage de la surcharge dans un langage fonctionnel. T h ese, Alcool, vol.90, 1990. ,
The Alcool 90 report ,
Formal program development in Extended ML for the working programmer, Proc. 3rd BCS/FACS Workshop on Reenement, pp.99-130, 1990. ,
Parallel reductions in -calculus, 1993. ,
Programming in Modula-2. T exts and Monographs in Computer Science, 1983. ,