Sound and Decidable Type Inference for Functional Dependencies Export

@misc{citeulike:280723, abstract = {Functional dependencies are a popular and useful extension to Haskell style type classes. In this paper, we give a reformulation of functional dependencies in terms of Constraint Handling Rules (CHRs). In previous work, CHRs have been employed for describing user-programmable type extensions in the context of Haskell style type classes. Here, we make use of CHRs to provide for the rst time a concise result that under some sucient conditions, functional dependencies allow for sound and...}, author = {Duck, Gregory J. and Peyton-Jones, Simon and Stuckey, Peter J. and Sulzmann, Martin}, booktitle = {European Symposium on Programming}, citeulike-article-id = {280723}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.6033}, citeulike-linkout-1 = {http://research.microsoft.com/%7Esimonpj/Papers/fd-chr/index.htm}, keywords = {fp, fundeps, haskell, type-classes}, posted-at = {2005-08-13 10:08:25}, priority = {0}, title = {Sound and Decidable Type Inference for Functional Dependencies}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.6033}, year = {2004} }

TY - GEN ID - citeulike:280723 L3 - citeulike-article-id:280723 N2 - Functional dependencies are a popular and useful extension to Haskell style type classes. In this paper, we give a reformulation of functional dependencies in terms of Constraint Handling Rules (CHRs). In previous work, CHRs have been employed for describing user-programmable type extensions in the context of Haskell style type classes. Here, we make use of CHRs to provide for the rst time a concise result that under some sucient conditions, functional dependencies allow for sound and... TI - Sound and Decidable Type Inference for Functional Dependencies T2 - European Symposium on Programming KW - fp KW - fundeps KW - haskell KW - type-classes AU - Duck, Gregory AU - Peyton-Jones, Simon AU - Stuckey, Peter AU - Sulzmann, Martin PY - 2004/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.6033 ER -