TIAP Katya Komendantskaya - Structural Resolution
TIAP Peng Fu - Nontermination in Type Class Inference
TIAP Bob Atkey - An Algebraic Approach to Typechecking and Elaboration
TIAP Tom Schrijvers - GADTs Meet Their Match
ARW2013. Session 1: Machine Learning in Automated Reasoning
TIAP Garrett Morris - Substructural Types with Class
PPDP Invited Talk | Amal Ahmed
