P. Baldan, G. Ghelli, and A. Raaetà, Basic theory of F-bounded quantication, Inf. Comput, vol.153, p.173237, 1999.

V. Breazu-tannen, T. Coquand, C. Gunter, and A. Scedrov, Inheritance as implicit coercion, Information and Computation, vol.93, issue.1, p.172221, 1991.
DOI : 10.1016/0890-5401(91)90055-7

URL : http://doi.org/10.1016/0890-5401(91)90055-7

P. Canning, W. Cook, W. Hill, W. Oltho, and J. C. Mitchell, F-bounded polymorphism for objectoriented programming, Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA'89, p.273280, 1989.

L. Cardelli, An implementation of FSub Digital Equipment Corporation Systems Research Center, Research Report, vol.97, 1993.

K. Crary, Typed compilation of inclusive subtyping, Proceedings of the fth ACM SIGPLAN international conference on Functional programming (ICFP), p.6881, 2000.

K. Crary, S. Weirich, and J. G. Morrisett, Intensional polymorphism in type-erasure semantics, Journal of Functional Programming, vol.12, issue.6, p.567600, 2002.

D. Leijen, A type directed translation of MLF to System F, The International Conference on Functional Programming, 2007.

D. Leijen and A. Löh, Qualied types for MLF, ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, p.144155, 2005.

S. Lenglet and J. B. Wells, Expansion for forall-quantiers. Available electronically, 2010.

G. Manzonetto and P. Tranquilli, Harnessing MLF with the Power of System F, Mathematical Foundations of Computer Science 35th International Symposium, pp.978-981, 2010.

J. C. Mitchell, Polymorphic type inference and containment. Information and Computation, p.211249, 1988.
DOI : 10.1016/0890-5401(88)90009-0

URL : http://doi.org/10.1016/0890-5401(88)90009-0

D. Rémy and B. Yakobowski, A church-style intermediate language for MLF, Functional and Logic Programming, p.2439, 2010.
DOI : 10.1016/j.tcs.2012.02.026

D. Vytiniotis and S. P. Jones, Practical aspects of evidence-based compilation in system FC Available electronically, 2011.

S. Weirich, D. Vytiniotis, S. P. Jones, and S. Zdancewic, Generative type abstraction and type-level computation, Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.227240, 2011.