Type inference for static compilation of JavaScript

Article Details
Title:	Type inference for static compilation of JavaScript
Article URLs:	https://doi.org/10.1145/2983990.2984017 https://www.wikidata.org/entity/Q60141711
Alternative Article URLs:	Technical report with proofs: https://arxiv.org/abs/1608.07261
Authors:	Satish Chandra	Samsung Research America
	Colin S. Gordon	Drexel University
	Jean-Baptiste Jeannin	Samsung Research America
	Cole Schlesinger	Samsung Research America
	Manu Sridharan	Samsung Research America
	Frank Tip	Northeastern University
	Young-Il Choi	Samsung Electronics
Sharing:	Research produced artifacts
Verification:	Authors have verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/samsung/sjs
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/oopsla/0001GJSSTC16
Author Comments:

ACM SIGPLAN Intl. Conf. on OO Programming, Systems, Langs., and Apps., OOPSLA 2016