[PL-sem-jr] PL Jr Talk Monday 12:00-2:00 WVH166

[Vincent St-Amour]

Jonathan - Taxonomy of Types

When listening to discussions about type systems, you might hear phrases
like "System F", "dependent types", or other intriguing terms you know
little about. In my talk, I will explain these and other type-related ideas
(or others that you may bring up), explore what problem they each solve,
and discuss what limitations one may have to overcome in order to use them
in a real programming language.