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 Jan
|14:00 - 14:45|
Frank PfenningCarnegie Mellon University, USAPre-print File Attached
|14:45 - 15:30|
Michael HicksUniversity of Maryland, College ParkPre-print File Attached