"Refining types using type guards in TypeScript."

Ivo Gabe de Wolff, Jurriaan Hage (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics