Lambda Calculus Courses
ACM SIGPLAN via YouTube Operational Game Semantics for Generative Algebraic Effects and Handlers
ACM SIGPLAN via YouTube Probabilistic Programming with Stochastic Probabilities
ACM SIGPLAN via YouTube Nominal Recursors as Epi-Recursors - POPL 2024
ACM SIGPLAN via YouTube A Core Calculus for Documents - Lambda: The Ultimate Document
ACM SIGPLAN via YouTube MetaCoq Tutorial - Meta-programming and Proving with MetaCoq
ACM SIGPLAN via YouTube Programming with Effect Exclusion - Type and Effect Systems
ACM SIGPLAN via YouTube Graded Modal Dependent Type Theory with Universe and Erasure - Formalized
ACM SIGPLAN via YouTube The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
ACM SIGPLAN via YouTube Explicit Refinement Types - A Type Theory with Embedded Proofs
ACM SIGPLAN via YouTube