Type Theory Courses
ACM SIGPLAN via YouTube Operational Game Semantics for Generative Algebraic Effects and Handlers
ACM SIGPLAN via YouTube Parameterized Algebraic Protocols
ACM SIGPLAN via YouTube Refinement Types: From Light to Deep Verification - Lecture
ACM SIGPLAN via YouTube Efficient Evaluation with Controlled Definition Unfolding - WITS'24
ACM SIGPLAN via YouTube Binding Syntax for Dependently-Typed Programs - WITS'24
ACM SIGPLAN via YouTube Modular Denotational Semantics for Effects with Guarded Interaction Trees
ACM SIGPLAN via YouTube Martin-Löf Type Theory Mechanization in Coq
ACM SIGPLAN via YouTube Strongly-Typed Multi-View Stack-Based Computations
ACM SIGPLAN via YouTube What We Learned from Writing a Book About Session Types
ACM SIGPLAN via YouTube