A. I. Baars and S. D. Swierstra, Typing dynamic typing, ICFP '02: Proceedings of the 7th ACM SIGPLAN International Conference on Functional Programming, pp.157-166, 2002.

J. Cheney and R. Hinze, First-class phantom types, Computer and Information Science, 2003.

J. Garrigue, A Certified Implementation of ML with Structural Polymorphism, Proc. Asian Symposium on Programming Languages and Systems, pp.360-375, 2010.
DOI : 10.1007/978-3-642-17164-2_25

J. Garrigue, Monomophic let in OCaml? Blog article at: http://gallium.inria.fr/ blog, 2013.

J. Garrigue and D. Rémy, Semi-Explicit First-Class Polymorphism for ML, Information and Computation, vol.155, issue.1-2, pp.134-171, 1999.
DOI : 10.1006/inco.1999.2830

J. Garrigue and D. Rémy, Ambivalent types for principal type inference with GADTs. Available electronically at http://gallium.inria.fr, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00914560

P. Johann and N. Ghani, Foundations for structured programming with gadts, Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '08, pp.297-308, 2008.
DOI : 10.1145/1328438.1328475

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

L. Botlan and D. Rémy, Recasting MLF, Information and Computation, vol.207, issue.6, pp.726-785, 2009.
DOI : 10.1016/j.ic.2008.12.006

URL : https://hal.archives-ouvertes.fr/inria-00156628

X. Leroy, D. Doligez, A. Frisch, J. Garrigue, D. Rémy et al., The OCaml system release 4.00, Documentation and user's manual, Projet Gallium, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00930213

C. Lin and T. Sheard, Pointwise generalized algebraic data types, Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation, TLDI '10, pp.51-62, 2010.
DOI : 10.1145/1708016.1708024

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

R. Milner, A theory of type polymorphism in programming, Journal of Computer and System Sciences, vol.17, issue.3, pp.348-375, 1978.
DOI : 10.1016/0022-0000(78)90014-4

F. Pottier and Y. Régis-gianas, Stratified type inference for generalized algebraic data types, Proceedings of the 33rd ACM Symposium on Principles of Programming Languages (POPL'06), pp.232-244, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00629091

T. Schrijvers, S. P. Jones, M. Sulzmann, and D. Vytiniotis, Complete and decidable type inference for gadts, Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, ICFP '09, pp.341-352, 2009.

T. Sheard and N. Linger, Programming in ??mega, Central European Functional Programming School Lecture Notes in Computer Science, vol.5161, pp.158-227, 2007.
DOI : 10.1007/978-3-540-88059-2_5

V. Simonet and F. Pottier, A constraint-based approach to guarded algebraic data types, ACM Transactions on Programming Languages and Systems, vol.29, issue.1, 2007.
DOI : 10.1145/1180475.1180476

D. Vytiniotis, S. P. Jones, T. Schrijvers, and M. Sulzmann, OutsideIn(X) Modular type inference with local assumptions, Journal of Functional Programming, vol.21, issue.4-5, pp.333-412, 2011.
DOI : 10.1016/0890-5401(90)90018-D

H. Xi, C. Chen, and G. Chen, Guarded recursive datatype constructors, Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '03, pp.224-235, 2003.
DOI : 10.1145/640128.604150

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