Type System Courses
ACM SIGPLAN via YouTube From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
ACM SIGPLAN via YouTube Greedy Implicit Bounded Quantification in Object-Oriented Programming Languages
ACM SIGPLAN via YouTube Validating IoT Devices with Rate-Based Session Types
ACM SIGPLAN via YouTube Resource-Aware Soundness for Big-Step Semantics
ACM SIGPLAN via YouTube Modern DSL Compiler Architecture in OCaml - Experience with Catala
ACM SIGPLAN via YouTube Combining Dependency, Grades, and Adjoint Logic in Type Systems
ACM SIGPLAN via YouTube A Dependently Typed Language with Dynamic Equality
ACM SIGPLAN via YouTube Fearless Hardware Design - A Type System for Modular and Parameterized Designs
ACM SIGPLAN via YouTube Semantics I - Session Preview for POPL 2023
ACM SIGPLAN via YouTube