HM(X) type inference is CLP(X) solving
Author
Sulzmann, M; Stuckey, PJDate
2008-03-01Source Title
JOURNAL OF FUNCTIONAL PROGRAMMINGPublisher
CAMBRIDGE UNIV PRESSUniversity of Melbourne Author/s
Stuckey, PeterAffiliation
Computer Science and Software EngineeringMetadata
Show full item recordDocument Type
Journal ArticleCitations
Sulzmann, M. & Stuckey, P. J. (2008). HM(X) type inference is CLP(X) solving. JOURNAL OF FUNCTIONAL PROGRAMMING, 18 (2), pp.251-283. https://doi.org/10.1017/S0956796807006569.Access Status
This item is currently not available from this repositoryKeywords
Computer SoftwareExport Reference in RIS Format
Endnote
- Click on "Export Reference in RIS Format" and choose "open with... Endnote".
Refworks
- Click on "Export Reference in RIS Format". Login to Refworks, go to References => Import References