Sound and Decidable Type Inference for Functional Dependencies (2004)

Cached

Download Links

by Gregory J. Duck , Simon Peyton-Jones , Peter J. Stuckey , Martin Sulzmann
Citations:32 - 14 self

Documents Related by Co-Citation

153 Type classes with functional dependencies – Mark P. Jones - 2000
121 Type classes in Haskell – Cordelia Hall, Kevin Hammond, Simon Peyton Jones, Philip Wadler - 1996
53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
75 Associated type synonyms – M M T Chakravarty, G Keller, S P Jones - 2005
345 How to Make Ad-Hoc Polymorphism Less Ad Hoc – Philip Wadler, Stephen Blott - 1988
75 Associated Types with Class – Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, Simon Marlow - 2005
187 Constraint Handling Rules – Thom Fr├╝hwirth - 1995
129 Guarded Recursive Datatype Constructors – Hongwei Xi, Chiyan Chen, Gang Chen - 2003
159 Simple unification-based type inference for GADTs – Simon Peyton Jones - 2006
90 Type inference with constrained types. Theory and Practice of Object Systems – M Odersky, M Sulzmann, M Wehr - 1999
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997
50 Simplifying and Improving Qualified Types – Mark P. Jones - 1995
132 Qualified types: Theory and practice – M P Jones - 1992
30 A General Framework for Hindley/Milner Type Systems with Constraints – Martin Sulzmann - 2000
102 Phantom Types – James Cheney, Ralf Hinze - 2003
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006
939 A theory of type polymorphism in programming – Robin Milner - 1978
219 and K.Marriott. Unification Revisited – J-L Lassez, M J Maher - 1988
92 Operational Semantics and Confluence of Constraint Propagation Rules – Slim Abdennadher - 1997