ML^F - Raising ML to the Power of System F (2003)

by Didier Le Botlan , Didier Rémy
Venue:In ICFP ’03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Citations:11 - 0 self

Active Bibliography

9 Raising ML to the Power of System F – Didier Le Botlan, Didier Remy - 2003
3 Recasting ML^F – Didier Le Botlan, Didier Rémy - 2007
18 Semi-Explicit First-Class Polymorphism for ML – Jacques Garrigue, Didier Rémy - 1999
16 Extending ML with Semi-Explicit Higher-Order Polymorphism – Jacques Garrigue, Didier Remy - 1997
PRACTICAL TYPE INFERENCE FOR FIRST-CLASS POLYMORPHISM – Dimitrios Vytiniotis - 2008
Practical type inference for – Simon Peyton, Jones Dimitrios Vytiniotis, Stephanie C. Weirich, Mark Shields, Simon Peyton Jones, Stephanie Weirich, Mark Shields
78 Practical type inference for arbitrary-rank types – Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - 2005
1 QML: Explicit First-Class Polymorphism for ML – Claudio V. Russo, Dimitrios Vytiniotis
51 Typability and Type Checking in System F Are Equivalent and Undecidable – J. B. Wells - 1998
unknown title – Mlfraising Ml, Power System, F Didier, Le Botlan, Le Chesnay Cedex, Didier. Remy}@inria. Fr
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
This paper is posted at ScholarlyCommons. http://repository.upenn.edu/cis papers/275Boxy Types: Inference for Higher-Rank Types and – Dimitrios Vytiniotis, Stephanie C. Weirich, Simon Peyton Jones, Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton Jones
2 Concoqtion: Mixing dependent types and Hindley-Milner type inference (extended version – Jeremy Siek, Walid Taha - 2006
46 First-class Polymorphism with Type Inference – Mark P. Jones
21 Polymorphic Type Inference and Semi-Unification – Fritz Henglein - 1989
9 Typability and Type Checking in the Second-Order lambda-Calculus Are Equivalent and Undecidable – J. B. Wells - 1993
2 An extension of HM(X) with first class existential and universal data-types – Vincent Simonet
2 Rank 2 types for term graph rewriting – Steffen Van Bakel - 2003
11 Rank 2 Intersection Types for Local Definitions and Conditional Expressions – Ferruccio Damiani - 2003