Extending sized type with collection analysis

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Saved in:

Bibliographic Details
Main Authors:	Chin, W.-N., Khoo, S.-C., Xu, D.N.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Subjects:	Collection Analysis Fix-Point Mixed Constraints Polymorphism Sized Type
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/39969
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-39969
record_format	dspace
spelling	sg-nus-scholar.10635-399692024-11-12T18:28:01Z Extending sized type with collection analysis Chin, W.-N. Khoo, S.-C. Xu, D.N. COMPUTER SCIENCE Collection Analysis Fix-Point Mixed Constraints Polymorphism Sized Type Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation 75-84 2013-07-04T07:53:42Z 2013-07-04T07:53:42Z 2003 Conference Paper Chin, W.-N.,Khoo, S.-C.,Xu, D.N. (2003). Extending sized type with collection analysis. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : 75-84. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/39969 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Collection Analysis Fix-Point Mixed Constraints Polymorphism Sized Type
spellingShingle	Collection Analysis Fix-Point Mixed Constraints Polymorphism Sized Type Chin, W.-N. Khoo, S.-C. Xu, D.N. Extending sized type with collection analysis
description	Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Chin, W.-N. Khoo, S.-C. Xu, D.N.
format	Conference or Workshop Item
author	Chin, W.-N. Khoo, S.-C. Xu, D.N.
author_sort	Chin, W.-N.
title	Extending sized type with collection analysis
title_short	Extending sized type with collection analysis
title_full	Extending sized type with collection analysis
title_fullStr	Extending sized type with collection analysis
title_full_unstemmed	Extending sized type with collection analysis
title_sort	extending sized type with collection analysis
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/39969
_version_	1821210673310334976

Extending sized type with collection analysis

Similar Items