Towards parameterized regular type inference using set constraints

19th Workshop on Logic-based methods in Programming Environments, WLPE 2009

Saved in:

Bibliographic Details
Main Authors:	Bueno, F., Navas, J., Hermenegildo, M.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2016
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/130097
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-130097
record_format	dspace
spelling	sg-nus-scholar.10635-1300972016-11-17T07:29:45Z Towards parameterized regular type inference using set constraints Bueno, F. Navas, J. Hermenegildo, M. COMPUTER SCIENCE 19th Workshop on Logic-based methods in Programming Environments, WLPE 2009 2016-11-11T08:00:54Z 2016-11-11T08:00:54Z 2009 Conference Paper Bueno, F., Navas, J., Hermenegildo, M. (2009). Towards parameterized regular type inference using set constraints. 19th Workshop on Logic-based methods in Programming Environments, WLPE 2009. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/130097 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	19th Workshop on Logic-based methods in Programming Environments, WLPE 2009
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Bueno, F. Navas, J. Hermenegildo, M.
format	Conference or Workshop Item
author	Bueno, F. Navas, J. Hermenegildo, M.
spellingShingle	Bueno, F. Navas, J. Hermenegildo, M. Towards parameterized regular type inference using set constraints
author_sort	Bueno, F.
title	Towards parameterized regular type inference using set constraints
title_short	Towards parameterized regular type inference using set constraints
title_full	Towards parameterized regular type inference using set constraints
title_fullStr	Towards parameterized regular type inference using set constraints
title_full_unstemmed	Towards parameterized regular type inference using set constraints
title_sort	towards parameterized regular type inference using set constraints
publishDate	2016
url	http://scholarbank.nus.edu.sg/handle/10635/130097
_version_	1681096922165673984

Towards parameterized regular type inference using set constraints

Similar Items