Mark P. Jones, Iavor S. Diatchki. Language and program design for functional dependencies. In Andy Gill, editor, Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008. pages 87-98, ACM, 2008. [doi]
Abstract is missing.