Type Theory Courses
ACM SIGPLAN via YouTube The Essence of Generalized Algebraic Data Types
ACM SIGPLAN via YouTube Types 3: Session Preview
ACM SIGPLAN via YouTube Mutually Iso-Recursive Subtyping - OOPSLA 2023
ACM SIGPLAN via YouTube Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems
ACM SIGPLAN via YouTube Structural Subtyping as Parametric Polymorphism
ACM SIGPLAN via YouTube Live Pattern Matching with Typed Holes
ACM SIGPLAN via YouTube Towards Tagless Interpretation of Stratified System F
ACM SIGPLAN via YouTube Monadic and Comonadic Aspects of Dependency Analysis
ACM SIGPLAN via YouTube Type Theory Session Preview - POPL 2023
ACM SIGPLAN via YouTube