"Concrete Types for TypeScript."

Gregor Richards, Francesco Zappa Nardelli, Jan Vitek (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics