Extending sized type with collection analysis

ACM SIGPLAN Notices

Saved in:
Bibliographic Details
Main Authors: Chin, W.-N., Khoo, S.-C., Xu, D.N.
Other Authors: COMPUTER SCIENCE
Format: Article
Published: 2013
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/39544
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-39544
record_format dspace
spelling sg-nus-scholar.10635-395442015-01-06T19:15:31Z 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 ACM SIGPLAN Notices 38 10 315-324 2013-07-04T07:44:00Z 2013-07-04T07:44:00Z 2003 Article Chin, W.-N.,Khoo, S.-C.,Xu, D.N. (2003). Extending sized type with collection analysis. ACM SIGPLAN Notices 38 (10) : 315-324. ScholarBank@NUS Repository. 03621340 http://scholarbank.nus.edu.sg/handle/10635/39544 NOT_IN_WOS Scopus
institution National University of Singapore
building NUS Library
country Singapore
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 ACM SIGPLAN Notices
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Chin, W.-N.
Khoo, S.-C.
Xu, D.N.
format Article
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/39544
_version_ 1681082112940179456