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
Times are displayed in time zone: Greenwich Mean Time : Belfast change

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