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

Active Bibliography

53 A theory of overloading – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2002
22 A framework for extended algebraic data types – Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey - 2006
A Solution to Haskell’s Multi-Parameter Type Class Dilemma – Carlos Camarão, Rodrigo Ribeiro, Lucília Figueiredo, Cristiano Vasconcellos
Beyond Type Classes – Andreas Rossberg, Martin Sulzmann - 2002
Programming Systems – Andreas Rossberg, Martin Sulzmann
Extracting Programs from . . . – Martin Sulzmann - 2006
Type Inference for Multi-Parameter Type Classes – Martin Sulzmann, Peter J. Stuckey
Constraints for Type Class Extensions – Gerrit Van Den Geest - 2007
15 Functional logic overloading – Matthias Neubauer, Peter Thiemann, Martin Gasbichler, Michael Sperber - 2002
Restoring Confluence for Functional Dependencies – Tom Schrijvers, Martin Sulzmann - 2008
4 Type processing by constraint reasoning – Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny - 2006
Confluence for Non-Full Functional Dependencies – Tom Schrijvers, Martin Sulzmann - 2008
10 Integration and Optimization of Rule-based Constraint Solvers – Slim Abdennadher, Thom Frühwirth - 2004
16 Automatic Implication Checking for CHR Constraints – Tom Schrijvers, Bart Demoen, Gregory Duck, Peter Stuckey, Thom Frühwirth - 2005
50 The Computational Power and Complexity of Constraint Handling Rules – Jon Sneyers, Tom Schrijvers, Bart Demoen - 2005
Object-Oriented Style Overloading for Haskell (Extended Abstract) – Mark Shields, Simon Peyton Jones - 2001
46 Type inference with constrained types – Martin Odersky, Martin Sulzmann, Martin Wehr - 1997
53 Strongly typed heterogeneous collections – Oleg Kiselyov - 2004
75 Associated Types with Class – Manuel M. T. Chakravarty, Gabriele Keller, Simon Peyton Jones, Simon Marlow - 2005