Changes between Version 9 and Version 10 of FunctionalDependencies


Ignore:
Timestamp:
Feb 7, 2006 1:43:06 PM (8 years ago)
Author:
ravi@…
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FunctionalDependencies

    v9 v10  
    1212== References == 
    1313 * [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. 
    1515 * [http://cvs.haskell.org/Hugs/pages/hugsman/exts.html#sect7.1.1 Multiple parameter classes] in the Hugs 98 User Manual 
    1616 * [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?