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

Displayed time zone: Belfast change

14:00 - 15:30
PLMW Session 3PLMW at Sala II
14:00
45m
Talk
Technical Talk: How to Think about Types
PLMW
Frank Pfenning Carnegie Mellon University, USA
Pre-print File Attached
14:45
45m
Talk
Technical Talk: What Is Programming Languages Research?
PLMW
Michael Hicks University of Maryland, College Park
Pre-print File Attached