Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/39684
Title: Sound and decidable type inference for functional dependencies
Authors: Duck, G.J.
Peyton-Jones, S.
Stuckey, P.J.
Sulzmann, M. 
Issue Date: 2004
Source: Duck, G.J.,Peyton-Jones, S.,Stuckey, P.J.,Sulzmann, M. (2004). Sound and decidable type inference for functional dependencies. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2986 : 49-63. ScholarBank@NUS Repository.
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 first time a concise result that under some sufficient conditions, functional dependencies allow for sound and decidable type inference. The sufficient conditions imposed on functional dependencies can be very limiting. We show how to safely relax these conditions. © Springer-Verlag 2004.
Source Title: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
URI: http://scholarbank.nus.edu.sg/handle/10635/39684
ISSN: 03029743
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

45
checked on Dec 15, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.