Safe & Efficient Gradual Typing for TypeScript

Article Details
Title:	Safe & Efficient Gradual Typing for TypeScript
Article URLs:	https://doi.org/10.1145/2676726.2676971
Alternative Article URLs:
Authors:	Aseem Rastogi	University of Maryland College Park
	Nikhil Swamy	Microsoft Research
	Cédric Fournet	Microsoft Research
	Gavin M. Bierman	Oracle Labs
	Panagiotis Vekris	University of California San Diego
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	Artifacts for some papers are reviewed by an artifact evaluation, reproducibility, or similarly named committee. This is one such paper that passed review. awarded
Artifact URLs:	https://github.com/nikswamy/SafeTypeScript http://research.microsoft.com/en-us/um/people/nswamy/Playground/TSSafe/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/popl/RastogiSFBV15
Author Comments:

ACM Principles of Programming Languages, POPL 2015