Aseem Rastogi, Nikhil Swamy, Cédric Fournet, Gavin M. Bierman, Panagiotis Vekris
Safe & Efficient Gradual Typing for TypeScript
POPL, 2015.
@inproceedings{POPL-2015-RastogiSFBV, author = "Aseem Rastogi and Nikhil Swamy and Cédric Fournet and Gavin M. Bierman and Panagiotis Vekris", booktitle = "{Proceedings of the 42nd Symposium on Principles of Programming Languages}", doi = "10.1145/2676726.2676971", isbn = "978-1-4503-3300-9", pages = "167--180", publisher = "{ACM}", title = "{Safe & Efficient Gradual Typing for TypeScript}", year = 2015, }