Show simple item record

HM(X) type inference is CLP(X) solving

dc.contributor.authorSulzmann, M
dc.contributor.authorStuckey, PJ
dc.date.available2014-05-21T23:01:09Z
dc.date.issued2008-03-01
dc.identifierhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000254541700003&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=d4d813f4571fa7d6246bdc0dfeca3a1c
dc.identifier.citationSulzmann, 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.
dc.identifier.issn0956-7968
dc.identifier.urihttp://hdl.handle.net/11343/29394
dc.languageEnglish
dc.publisherCAMBRIDGE UNIV PRESS
dc.subjectComputer Software
dc.titleHM(X) type inference is CLP(X) solving
dc.typeJournal Article
dc.identifier.doi10.1017/S0956796807006569
melbourne.peerreviewPeer Reviewed
melbourne.affiliationThe University of Melbourne
melbourne.affiliation.departmentComputer Science and Software Engineering
melbourne.source.titleJournal of Functional Programming
melbourne.source.volume18
melbourne.source.issue2
melbourne.source.pages251-283
dc.description.pagestart251
melbourne.publicationid103499
melbourne.elementsid302067
melbourne.contributor.authorStuckey, Peter
melbourne.internal.ingestnoteAbstract bulk upload (2017-07-20)
dc.identifier.eissn1469-7653
melbourne.accessrightsThis item is currently not available from this repository


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record