Practical type inference for arbitrary-rank types (2005)

by Dimitrios Vytiniotis , Stephanie Weirich , Simon Peyton-jones
Venue:Journal of Functional Programming
Citations:91 - 23 self

Active Bibliography

Practical type inference for – Simon Peyton, Jones Dimitrios Vytiniotis, Stephanie C. Weirich, Mark Shields, Simon Peyton Jones, Stephanie Weirich, Mark Shields
PRACTICAL TYPE INFERENCE FOR FIRST-CLASS POLYMORPHISM – Dimitrios Vytiniotis - 2008
11 Programming With Types – Stephanie Claudene Weirich - 2002
5 Recasting ML^F – Didier Le Botlan, Didier Rémy - 2007
12 ML^F - Raising ML to the Power of System F – Didier Le Botlan, Didier Rémy - 2003
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
1 QML: Explicit First-Class Polymorphism for ML – Claudio V. Russo, Dimitrios Vytiniotis
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
86 The Essence of Principal Typings – J. B. Wells - 2002
20 Semi-Explicit First-Class Polymorphism for ML – Jacques Garrigue, Didier Rémy - 1999
10 Raising ML to the Power of System F – Didier Le Botlan, Didier Remy - 2003
65 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
6 Strict Intersection Types for the Lambda Calculus – Steffen Van Bakel - 2010
1 Contents – David P. Cunningham, Supervisor Herbert Wiklicky - 2005
Technical Appendix – Dimitrios Vytiniotis, Stephanie C. Weirich, Simon Peyton Jones, Simon Peyton-jones, Dimitrios Vytiniotis, Stephanie Weirich, Mark Shields, Dimitrios Vytiniotis, Stephanie Weirich, Simon Peyton-jones - 2005
14 HMF: Simple type inference for first-class polymorphism – Daan Leijen - 2008
Type soundness – François Pottier
28 A Calculus with Polymorphic and Polyvariant Flow Types – J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism – Joshua Dunfield, Neelakantan R. Krishnaswami