TypeScript
Richards, G., Zappa Nardelli, F., & Vitek, J. (2015). Concrete types for TypeScript. In 29th European Conference on Object-Oriented Programming (ECOOP 2015). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.