Basic theory of F-bounded quantication, Inf. Comput, vol.153, p.173237, 1999. ,
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
F-bounded polymorphism for objectoriented programming, Proceedings of the fourth international conference on Functional programming languages and computer architecture, FPCA'89, p.273280, 1989. ,
An implementation of FSub Digital Equipment Corporation Systems Research Center, Research Report, vol.97, 1993. ,
Typed compilation of inclusive subtyping, Proceedings of the fth ACM SIGPLAN international conference on Functional programming (ICFP), p.6881, 2000. ,
Intensional polymorphism in type-erasure semantics, Journal of Functional Programming, vol.12, issue.6, p.567600, 2002. ,
A type directed translation of MLF to System F, The International Conference on Functional Programming, 2007. ,
Qualied types for MLF, ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, p.144155, 2005. ,
Expansion for forall-quantiers. Available electronically, 2010. ,
Harnessing MLF with the Power of System F, Mathematical Foundations of Computer Science 35th International Symposium, pp.978-981, 2010. ,
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
A church-style intermediate language for MLF, Functional and Logic Programming, p.2439, 2010. ,
DOI : 10.1016/j.tcs.2012.02.026
Practical aspects of evidence-based compilation in system FC Available electronically, 2011. ,
Generative type abstraction and type-level computation, Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.227240, 2011. ,