Type Theory Courses
ACM SIGPLAN via YouTube How to Trust a Verified Program - Challenges and Solutions in Program Verification
ACM SIGPLAN via YouTube Space-Efficient Polymorphic Gradual Typing, Mostly Parametric - PLDI 2024
ACM SIGPLAN via YouTube Associated Effects: Flexible Abstractions for Effectful Programming
ACM SIGPLAN via YouTube Taylor Expansion and Game Semantics - Exploring Isomorphisms in Lambda Calculus
ACM SIGPLAN via YouTube One-Pass CPS Translation of Dependent Types
ACM SIGPLAN via YouTube Decalf: A Directed, Effectful Cost-Aware Logical Framework
ACM SIGPLAN via YouTube Internal and Observational Parametricity for Cubical Agda
ACM SIGPLAN via YouTube Parametric Subtyping for Structural Parametric Polymorphism
ACM SIGPLAN via YouTube Ill-Typed Programs Don't Evaluate - Two-Sided Type Systems for Program Verification
ACM SIGPLAN via YouTube