Lambda Calculus Courses
ACM SIGPLAN via YouTube Operational Game Semantics for Generative Algebraic Effects and Handlers
ACM SIGPLAN via YouTube Space-Efficient Polymorphic Gradual Typing, Mostly Parametric - PLDI 2024
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 Higher Order Bayesian Networks, Exactly - POPL 2024
ACM SIGPLAN via YouTube Generating Well-Typed Terms That Are Not "Useless"
ACM SIGPLAN via YouTube Unboxed Data Constructors: Efficient and Safe Big Number Handling in ML Languages
ACM SIGPLAN via YouTube The Essence of Generalized Algebraic Data Types
ACM SIGPLAN via YouTube Structural Subtyping as Parametric Polymorphism
ACM SIGPLAN via YouTube