A type directed translation of MLF to system F

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2007, Pages 111-122

  Leijen, Daan ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

First class polymorphism; MLF; System F

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INFERENCE ENGINES; NATURAL LANGUAGE PROCESSING SYSTEMS; POLYMORPHISM;

FIRST-CLASS POLYMORPHISM; HINDLEY-MILNER TYPE INFERENCE; MLF; SYSTEM F;

TRANSLATION (LANGUAGES);

EID: 38849105463     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291151.1291169     Document Type: Conference Paper

References (16)

1. Atze Dijkstra. Stepping through Haskell. PhD thesis, Universiteit Utrecht, November 2005.
2. Jaques Garrigue and Didier Rémy. Semi-expicit first-class polymorphism for ML. Journal of Information and Computation, 151:134-169, 1999.
3. J.R. Hindley. The principal type scheme of an object in combinatory logic. Transactions of the American Mathematical Society, 146:29-60, December 1969.
4. Mark P. Jones. First-class polymorphism with type inference. In Proceedings of the Twenty Fourth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages. ACM Press, January 1997.
5. Mark P. Jones. Qualified types in Theory and Practice. Distinguished Dissertations in Computer Science. Cambridge University Press, 1994.
6. F: Une extension de ML avec polymorphisme de second ordre et instanciation implicite. PhD thesis, INRIA Rocquencourt, May 2004. Available in English.
7. Didier Le Botlan and Didier Rémy. MLF: Raising ML to the power of System-F. In Proceedings of the International Conference on Functional Programming (ICFP 2003), Uppsala, Sweden, pages 27-38. ACM Press, aug 2003.
8. Didier Le Botlan and Didier Rémy. Recasting MLF. Technical Report 6228, INRIA, Rocquencourt, June 2007. URL http://gallium.inria.fr/-remy/project/ mlf.
9. Daan Leijen. HMF: simple type inference for first-class polymorphism. Work in progress, July 2007.
10. Daan Leijen and Andres Löh. Qualified types for MLF. In The International Conference on Functional Programming (ICFP'05). ACM Press, September 2005.
11. Xavier Leroy and Michel Mauny. Dynamics in ML. Journal of Functional Programming, 3(4):431-463, 1993.
12. Robert Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:248-375, 1978.
13. Martin Odersky and Konstantin Läufer. Putting type annotations to work. In 23th ACM Symp. on Principles of Programming Languages (POPL'96), pages 54-67, January 1996.
14. Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, and. Mark. Shields. Practical type inference for arbitrary-rank types. Journal of Functional Programming, 17(1): 1-82, 2007.
15. Didier Rémy and Boris Yakobowski. A graphical, presentation of MLF types with, a linear-time unification algorithm. In TLDI '07: Proc. of the 2007 ACM SIGPLAN int. workshop on Types in languages design and implementation, pages 27-38, 2007.
16. Dimitrios Vytiniotis, Stephanie Weirich, and. Simon Peyton Jones. Boxy types: type inference for higher-rank types and impredicativity. In The International Conference on Functional Programming (ICFP'06), September 2006.