Please use this identifier to cite or link to this item: https://doi.org/10.1017/S0956796807006569
Title: HM(X) type inference is CLP(X) solving
Authors: Sulzmann, M. 
Stuckey, P.J.
Issue Date: 2008
Source: Sulzmann, M., Stuckey, P.J. (2008). HM(X) type inference is CLP(X) solving. Journal of Functional Programming 18 (2) : 251-283. ScholarBank@NUS Repository. https://doi.org/10.1017/S0956796807006569
Abstract: The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the program text, which are then solved by the domain-specific constraint solver X. The solver has to be invoked at the latest when type inference reaches a let node so that we can build a polymorphic type. A typical example of such an inference approach is Milner's algorithm W. We formalize an inference approach where the HM(X) type inference problem is first mapped to a CLP(X) program. The actual type inference is achieved by executing the CLP(X) program. Such an inference approach supports the uniform construction of type inference algorithms and has important practical consequences when it comes to reporting type errors. The CLP(X) style inference system, where X is defined by Constraint Handling Rules, is implemented as part of the Chameleon system. © 2007 Cambridge University Press.
Source Title: Journal of Functional Programming
URI: http://scholarbank.nus.edu.sg/handle/10635/39842
ISSN: 09567968
DOI: 10.1017/S0956796807006569
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

10
checked on Dec 11, 2017

WEB OF SCIENCETM
Citations

5
checked on Dec 11, 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.