Changes between Version 1 and Version 2 of FunctionalDependencies


Ignore:
Timestamp:
Nov 28, 2005 8:43:57 PM (8 years ago)
Author:
ross@…
Comment:

add a ref

Legend:

Unmodified
Added
Removed
Modified
  • FunctionalDependencies

    v1 v2  
    77 
    88== References == 
    9  * [http://www.cse.ogi.edu/~mpj/pubs/fundeps.html Type Classes with Functional Dependencies] (paper) by Mark P. Jones 
     9 * [http://www.cse.ogi.edu/~mpj/pubs/fundeps.html Type Classes with Functional Dependencies] (paper) by Mark P. Jones, in ESOP 2000. A semi-formal description of a more restricted system than implemented by GHC and Hugs. 
     10 * [http://research.microsoft.com/Users/simonpj/Papers/fd-chr/ Sound and Decidable Type Inference for Functional Dependencies] by Gregory J. Duck, Simon Peyton Jones, Peter J. Stuckey and Martin Sulzmann, in ESOP 2004. ([http://www.comp.nus.edu.sg/~sulzmann/chr/download/fd-chr.ps.gz extended version]) 
     11 * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#functional-dependencies Description] from the GHC User's manual. 
    1012 * [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? 
    11  * [http://www.haskell.org/ghc/docs/latest/html/users_guide/type-extensions.html#functional-dependencies Description] from the GHC User's manual. 
    1213 
    1314== Pros ==