Programming Language Type Systems

Possible Topics

Our first order of business is to try to agree on a general topic related to type systems and programming languages. Here are some suggestions: