Technical Talk: How to Think about Types
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.
Tue 15 JanDisplayed time zone: Belfast change
14:00 - 15:30
|Technical Talk: How to Think about Types|
Frank Pfenning Carnegie Mellon University, USAPre-print File Attached
|Technical Talk: What Is Programming Languages Research?|
Michael Hicks University of Maryland, College ParkPre-print File Attached