Simon Peyton Jones - Linear Haskell: practical linearity in a higher-order polymorphic languageJuly 2018
Lambda Days 2018 - Matthías Páll Gissurarson - Suggesting Valid Substitutions For Typed HolesMay 2018
YOW! Lambda Jam 2016 Conor McBride - What are Types for, or are they only Against? #YOWLambdaJamJune 2016