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

10.1017/S0956796807006569

Saved in:

Bibliographic Details
Main Authors:	Sulzmann, M., Stuckey, P.J.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39842
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39842
record_format	dspace
spelling	sg-nus-scholar.10635-398422023-10-25T20:27:09Z HM(X) type inference is CLP(X) solving Sulzmann, M. Stuckey, P.J. COMPUTER SCIENCE 10.1017/S0956796807006569 Journal of Functional Programming 18 2 251-283 2013-07-04T07:50:51Z 2013-07-04T07:50:51Z 2008 Article 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 09567968 http://scholarbank.nus.edu.sg/handle/10635/39842 000254541700003 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	10.1017/S0956796807006569
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Sulzmann, M. Stuckey, P.J.
format	Article
author	Sulzmann, M. Stuckey, P.J.
spellingShingle	Sulzmann, M. Stuckey, P.J. HM(X) type inference is CLP(X) solving
author_sort	Sulzmann, M.
title	HM(X) type inference is CLP(X) solving
title_short	HM(X) type inference is CLP(X) solving
title_full	HM(X) type inference is CLP(X) solving
title_fullStr	HM(X) type inference is CLP(X) solving
title_full_unstemmed	HM(X) type inference is CLP(X) solving
title_sort	hm(x) type inference is clp(x) solving
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39842
_version_	1781411066357481472

Similar Items