A flow-based approach for variant parametric types

A flow-based approach for variant parametric types

10.1145/1167473.1167498

Saved in:
Bibliographic Details
Main Authors: Chin, W.-N., Craciun, F., Khoo, S.-C., Popeea, C.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
Constraints
Flow analysis
Genericity
Subtyping
Variant parametric types
Online Access:http://scholarbank.nus.edu.sg/handle/10635/40373
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore

Internet

http://scholarbank.nus.edu.sg/handle/10635/40373

Similar Items