Lambda Calculus Courses
ACM SIGPLAN via YouTube A Gradual Probabilistic Lambda Calculus
ACM SIGPLAN via YouTube Resource-Aware Soundness for Big-Step Semantics
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 On the Metatheory of IRs and the CPS-Calculus
ACM SIGPLAN via YouTube