Typing dynamic typing, ICFP '02: Proceedings of the 7th ACM SIGPLAN International Conference on Functional Programming, pp.157-166, 2002. ,
First-class phantom types, Computer and Information Science, 2003. ,
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
Monomophic let in OCaml? Blog article at: http://gallium.inria.fr/ blog, 2013. ,
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
Ambivalent types for principal type inference with GADTs. Available electronically at http://gallium.inria.fr, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00914560
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
The OCaml system release 4.00, Documentation and user's manual, Projet Gallium, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00930213
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
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
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
Complete and decidable type inference for gadts, Proceedings of the 14th ACM SIGPLAN international conference on Functional programming, ICFP '09, pp.341-352, 2009. ,
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
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
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
Guarded recursive datatype constructors, Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL '03, pp.224-235, 2003. ,