Changes between Version 11 and Version 12 of FunctionalDependencies


Ignore:
Timestamp:
Feb 11, 2006 12:26:44 AM (8 years ago)
Author:
ijones
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FunctionalDependencies

    v11 v12  
    1414 * [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 
    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? 
     16 * [http://www.haskell.org//pipermail/haskell-prime/2006-February/000289.html Problems] with functional dependencies (email) by SPJ + paper. [http://www.haskell.org/pipermail/haskell/2000-December/006324.html See also]. 
    1717 
    1818== Tickets ==