Sound and Decidable Type Inference for Functional Dependencies (2004)


Download Links

by Gregory J. Duck , Simon Peyton-Jones , Peter J. Stuckey , Martin Sulzmann
Citations:34 - 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
363 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
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
Types are “sexy ” (according to Simon Peyton-Jones) and “hot ” (according to Bob Harper). Chameleon: Systematic Type System Design via Constraint Handling Rules – p.2 First: Why types? – Joint Peter, J. Stuckey, Jeremy Wazny
Under consideration for publication in J. Functional Programming 1 Understanding Functional Dependencies via Constraint Handling Rules – Martin Sulzmann, Gregory J. Duck, Simon Peyton-jones, Peter J. Stuckey
Extracting Programs from . . . – Martin Sulzmann - 2006