Calculating sized types

10.1023/A:1012996816178

Saved in:

Bibliographic Details
Main Authors:	Chin, W.-N., Khoo, S.-C.
Other Authors:	COMPUTER SCIENCE
Format:	Article
Published:	2013
Subjects:	Presburger formulae Program analysis and optimization Type inference
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39324
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39324
record_format	dspace
spelling	sg-nus-scholar.10635-393242015-03-05T05:59:40Z Calculating sized types Chin, W.-N. Khoo, S.-C. COMPUTER SCIENCE Presburger formulae Program analysis and optimization Type inference 10.1023/A:1012996816178 Higher-Order and Symbolic Computation 14 2-3 261-300 2013-07-04T07:39:04Z 2013-07-04T07:39:04Z 2001 Article Chin, W.-N.,Khoo, S.-C. (2001). Calculating sized types. Higher-Order and Symbolic Computation 14 (2-3) : 261-300. ScholarBank@NUS Repository. <a href="https://doi.org/10.1023/A:1012996816178" target="_blank">https://doi.org/10.1023/A:1012996816178</a> 13883690 http://scholarbank.nus.edu.sg/handle/10635/39324 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
topic	Presburger formulae Program analysis and optimization Type inference
spellingShingle	Presburger formulae Program analysis and optimization Type inference Chin, W.-N. Khoo, S.-C. Calculating sized types
description	10.1023/A:1012996816178
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chin, W.-N. Khoo, S.-C.
format	Article
author	Chin, W.-N. Khoo, S.-C.
author_sort	Chin, W.-N.
title	Calculating sized types
title_short	Calculating sized types
title_full	Calculating sized types
title_fullStr	Calculating sized types
title_full_unstemmed	Calculating sized types
title_sort	calculating sized types
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39324
_version_	1681082074488897536

Similar Items