Changes between Version 9 and Version 10 of FunctionalDependencies
- Timestamp:
- 02/07/06 05:43:06 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
FunctionalDependencies
v9 v10 12 12 == References == 13 13 * [http://www.cse.ogi.edu/~mpj/pubs/fundeps.html Type Classes with Functional Dependencies] by Mark P. Jones, in ESOP 2000. A semi-formal description of a more restricted system than implemented by GHC and Hugs. 14 * [http://research.microsoft.com/Users/simonpj/Papers/fd-chr/ Understanding functional dependencies via Constraint Handling Rules] by Martin Sulzmann, Gregory J. Duck, Simon Peyton Jones, and Peter J. Stuckey, September 2005. 14 * [http://research.microsoft.com/Users/simonpj/Papers/fd-chr/ Understanding functional dependencies via Constraint Handling Rules] by Martin Sulzmann, Gregory J. Duck, Simon Peyton Jones, and Peter J. Stuckey, September 2005. This paper explains explores the restrictions required to guarantee sound, complete and decidable type inference in the presence of functional dependencies. 15 15 * [http://cvs.haskell.org/Hugs/pages/hugsman/exts.html#sect7.1.1 Multiple parameter classes] in the Hugs 98 User Manual 16 16 * [http://www.haskell.org/pipermail/haskell/2000-December/006324.html Problem] with functional dependencies (email) by Simon Peyton Jones - is there a conclusion here? Further work?
