A flow-based approach for variant parametric types

10.1145/1167515.1167498

Saved in:
Bibliographic Details
Main Authors: Chin, W.-N., Craciun, F., Khoo, S.-C., Popeea, C.
Other Authors: COMPUTER SCIENCE
Format: Article
Published: 2013
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/39543
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-39543
record_format dspace
spelling sg-nus-scholar.10635-395432024-11-12T18:27:59Z A flow-based approach for variant parametric types Chin, W.-N. Craciun, F. Khoo, S.-C. Popeea, C. COMPUTER SCIENCE Constraints Flow Analysis Genericity Subtyping Variant Parametric Types 10.1145/1167515.1167498 ACM SIGPLAN Notices 41 10 273-290 2013-07-04T07:43:58Z 2013-07-04T07:43:58Z 2006 Article Chin, W.-N., Craciun, F., Khoo, S.-C., Popeea, C. (2006). A flow-based approach for variant parametric types. ACM SIGPLAN Notices 41 (10) : 273-290. ScholarBank@NUS Repository. https://doi.org/10.1145/1167515.1167498 03621340 http://scholarbank.nus.edu.sg/handle/10635/39543 000202972500020 Scopus
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Constraints
Flow Analysis
Genericity
Subtyping
Variant Parametric Types
spellingShingle Constraints
Flow Analysis
Genericity
Subtyping
Variant Parametric Types
Chin, W.-N.
Craciun, F.
Khoo, S.-C.
Popeea, C.
A flow-based approach for variant parametric types
description 10.1145/1167515.1167498
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Chin, W.-N.
Craciun, F.
Khoo, S.-C.
Popeea, C.
format Article
author Chin, W.-N.
Craciun, F.
Khoo, S.-C.
Popeea, C.
author_sort Chin, W.-N.
title A flow-based approach for variant parametric types
title_short A flow-based approach for variant parametric types
title_full A flow-based approach for variant parametric types
title_fullStr A flow-based approach for variant parametric types
title_full_unstemmed A flow-based approach for variant parametric types
title_sort flow-based approach for variant parametric types
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/39543
_version_ 1821205725453484032