Please use this identifier to cite or link to this item: https://doi.org/10.1145/1108970.1108974
Title: A theory of overloading
Authors: Stuckey, P.J.
Sulzmann, M. 
Keywords: Coherence
Constraints
Evidence translation
Overloading
Type classes
Type inference
Issue Date: 2005
Source: Stuckey, P.J., Sulzmann, M. (2005). A theory of overloading. ACM Transactions on Programming Languages and Systems 27 (6) : 1216-1269. ScholarBank@NUS Repository. https://doi.org/10.1145/1108970.1108974
Abstract: We present a novel approach to allow for overloading of identifiers in the spirit of type classes. Our approach relies on a combination of the HM(X) type system framework with Constraint Handling Rules (CHRs). CHRs are a declarative language for writing incremental constraint solvers, that provide our scheme with a form of programmable type language. CHRs allow us to precisely describe the relationships among overloaded identifiers. Under some sufficient conditions on the CHRs we achieve decidable type inference and the semantic meaning of programs is unambiguous. Our approach provides a common formal basis for many type class extensions such as multiparameter type classes and functional dependencies. © 2005 ACM.
Source Title: ACM Transactions on Programming Languages and Systems
URI: http://scholarbank.nus.edu.sg/handle/10635/39843
ISSN: 01640925
DOI: 10.1145/1108970.1108974
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

33
checked on Dec 13, 2017

WEB OF SCIENCETM
Citations

9
checked on Dec 13, 2017

Page view(s)

63
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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