A Gradual Interpretation of Union Types

Article Details
Title:	A Gradual Interpretation of Union Types
Article URLs:	https://doi.org/10.1007/978-3-319-66706-5_19
Alternative Article URLs:
Authors:	Matías Toro	University of Chile, PLEIAD Laboratory
Authors:	Éric Tanter	University of Chile, PLEIAD Laboratory
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	http://pleiad.cl/gradual-unions/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sas/ToroT17
Author Comments:

International Static Analysis Symposium, SAS 2017