Ivo Gabe de Wolff, Jurriaan Hage. Refining types using type guards in TypeScript. In Ulrik Pagh Schultz, Jeremy Yallop, editors, Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2017, Paris, France, January 18-20, 2017. pages 111-122, ACM, 2017. [doi]
Abstract is missing.