Write a Blog >>
PEPM 2017
Mon 16 - Tue 17 January 2017
co-located with POPL 2017
Tue 17 Jan 2017 11:00 - 11:30 at Salle 109, Barre 44-54 - Types Chair(s): Robert Glück

We discuss two adaptations of the implementation of type guards and narrowing in the TypeScript compiler. The first is an improvement on the original syntax-directed implementation, and has now replaced the original one in the TypeScript compiler. It is specifically suited for the scenario in which an IDE requests the type of a particular variable in the program. The second implementation is defined as a whole program analysis, and is therefore able to compute more precise narrowed types, but at the price of a higher run-time cost

Tue 17 Jan

pepm-workshop
10:30 - 12:00: PEPM 2017 - Types at Salle 109, Barre 44-54
Chair(s): Robert Glück
pepm-workshop10:30 - 11:00
Talk
Levin FritzUtrecht University, Jurriaan HageUtrecht University
pepm-workshop11:00 - 11:30
Talk
Ivo Gabe de WolffUtrecht University, Jurriaan HageUtrecht University
pepm-workshop11:30 - 12:00
Talk
Markus KlinikRadboud University Nijmegen, Jurriaan HageUtrecht University, Jan Martin JansenNetherlands Defence Academy, Rinus PlasmeijerRadboud University Nijmegen