Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Tue 15 Jan 2019 14:00 - 14:45 at Sala II - PLMW Session 3

Types are a central concern in programming language research, with a multitude of different purposes, design principles, and criteria to judge them. Everyone will tell you a different story, and so will I, as I take you through a personal tour through the landscape of types. I will focus on what I believe are the major themes and what I have learned about how to approach research on programming languages when you look at them from the perspective of type systems.

Slides (plmw19-talk.pdf)213KiB

Tue 15 Jan

14:00 - 15:30: PLMW@POPL - PLMW Session 3 at Sala II
PLMW-2019-papers14:00 - 14:45
Frank PfenningCarnegie Mellon University, USA
Pre-print File Attached
PLMW-2019-papers14:45 - 15:30
Michael HicksUniversity of Maryland, College Park
Pre-print File Attached