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

Documents Related by Co-Citation

159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
81 Implicit parameters: dynamic scoping with static types – Jeffrey R. Lewis, Mark B. Shields, Erik Meijert, John Launchbury - 2000
939 A theory of type polymorphism in programming – Robin Milner - 1978
153 Type classes with functional dependencies – Mark P. Jones - 2000
75 System F with type equality coercions – Martin Sulzmann, Manuel M. T. Chakravarty, Simon Peyton Jones, Kevin Donnelly - 2007
56 The essence of ML type inference – F Pottier, D Rémy - 2005
31 Boxy types: inference for higher-rank types and impredicativity – D Vytiniotis, S Weirich, Peyton Jones, S - 2005
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
132 Qualified types: Theory and practice – M P Jones - 1992
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
1312 Monads for functional programming – Philip Wadler - 1995
166 How Good is Local Type Inference? – Haruo Hosoya, Benjamin C. Pierce - 1999
363 Towards a theory of type structure – J C Reynolds - 1974
108 The principal type scheme of an object in combinatory logic – J Hindley - 1969
13 Type Inference for GADTs via Herbrand Constraint Abduction – Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey - 2008
24 A constraint-based approach to guarded algebraic data types – Vincent Simonet, François Pottier - 2007
37 Type Checking with Open Type Functions – Tom Schrijvers, Simon Peyton Jones, Manuel Chakravarty, Martin Sulzmann
70 A Polymorphic Type System for Extensible Records and Variants – Benedict R. Gaster, Mark P. Jones - 1996