Practical type inference for arbitrary-rank types (2005)

by Dimitrios Vytiniotis , Stephanie Weirich , Simon Peyton-jones
Venue:Journal of Functional Programming
Citations:78 - 18 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
10 Programming With Types – Stephanie Claudene Weirich - 2002
11 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
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
9 Raising ML to the Power of System F – Didier Le Botlan, Didier Remy - 2003
59 From ML to Ada: Strongly-typed Language Interoperability via Source Translation – Andrew Tolmach, Dino P. Oliva - 1993
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
12 HMF: Simple type inference for first-class polymorphism – Daan Leijen - 2008
26 A Calculus with Polymorphic and Polyvariant Flow Types – J. B. Wells, Allyn Dimock, Robert Muller, Franklyn Turbak
16 Extending ML with Semi-Explicit Higher-Order Polymorphism – Jacques Garrigue, Didier Remy - 1997
1 QML: Explicit First-Class Polymorphism for ML – Claudio V. Russo, Dimitrios Vytiniotis
Theoretical Foundations for Practical ‘Totally Functional Programming’ – Colin Kemp - 2007
8 Boolean constraints for binding-time analysis – Kevin Glynn, Peter J. Stuckey, Martin Sulzmann - 2001
77 The Essence of Principal Typings – J. B. Wells - 2002
58 Implementing Typed Intermediate Languages – Zhong Shao, Christopher League, Stefan Monnier - 1998
33 Typed Cross-Module Compilation – Zhong Shao - 1998