Safe & Efficient Gradual Typing for TypeScript.

Aseem Rastogi, Nikhil Swamy, Cdric Fournet, Gavin M. Bierman, Panagiotis Vekris

Browse the full POPL paper archive.