"Static TypeScript: an implementation of a static compiler for the ..."

Thomas Ball, Peli de Halleux, Michal Moskal (2019)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics