A. W. Appel and D. B. Macqueen, Separate compilation for Standard ML, Programming Language Design and Implementation, pp.13-23, 1994.
DOI : 10.1145/178243.178245

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.4810

S. K. Biswas, Higher-order functors with transparent signatures, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, 1995.
DOI : 10.1145/199448.199478

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.9123

L. Cardelli, Typeful programming, Formal description of programming concepts, pp.431-507, 1989.

L. Cardelli and X. Leroy, Abstract types and the dot notation, Proceedings IFIP TC2 working conference on programming concepts and methods, pp.479-504, 1990.
URL : https://hal.archives-ouvertes.fr/hal-01499980

L. Cardelli and D. B. Macqueen, Persistence and Type Abstraction, Data types and persistence, 1988.
DOI : 10.1007/978-3-642-61556-6_3

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.97.3858

P. Crégut, Compilation séparée pour un langage de modules avec types génératifs Presentation given at the Programmation, C.N.R.S, 1994.

R. Harper and M. Lillibridge, A type-theoretic approach to higher-order modules with sharing, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.123-137, 1994.
DOI : 10.1145/174675.176927

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.14.3595

R. Harper, R. Milner, and M. Tofte, A type discipline for program modules, TAPSOFT 87, pp.308-319, 1987.
DOI : 10.1007/BFb0014988

R. Harper and J. C. Mitchell, On the type structure of standard ML, ACM Transactions on Programming Languages and Systems, vol.15, issue.2, pp.211-252, 1993.
DOI : 10.1145/169701.169696

X. Leroy, Manifest types, modules, and separate compilation, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.109-122, 1994.
DOI : 10.1145/174675.176926

URL : https://hal.archives-ouvertes.fr/hal-01499976

X. Leroy, A syntactic approach to type generativity and sharing (extended abstract), Proc. 1994 Workshop on ML and its applications, pp.1-12, 1994.
DOI : 10.1017/s0956796800001933

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.3911

D. B. Macqueen, Using dependent types to express modular structure, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '86, pp.277-286, 1986.
DOI : 10.1145/512644.512670

D. B. Macqueen and M. Tofte, A semantics for higherorder functors, Programming languages and systems ? ESOP '94, pp.409-423, 1994.

R. Milner, M. Tofte, and R. Harper, The definition of Standard ML, 1990.

J. C. Mitchell, On the Equivalence of Data Representations, Artificial intelligence and mathematical theory of computation, pp.305-330, 1991.
DOI : 10.1016/B978-0-12-450010-5.50023-2

J. C. Mitchell and G. D. Plotkin, Abstract types have existential type, ACM Transactions on Programming Languages and Systems, vol.10, issue.3, pp.470-502, 1988.
DOI : 10.1145/44501.45065

J. C. Reynolds, Types, abstraction and parametric polymorphism, Information Processing '83, pp.513-523, 1983.

F. Rouaix, The ALCOOL 90 report. INRIA, 1992