Language and program design for functional dependencies.

Mark P. Jones, Iavor S. Diatchki

Browse the full HASKELL paper archive.