Type System Courses
ACM SIGPLAN via YouTube Strongly-Typed Multi-View Stack-Based Computations
ACM SIGPLAN via YouTube Termination in Concurrency, Revisited - PPDP23
ACM SIGPLAN via YouTube Typed Equivalence of Labeled Effect Handlers and Labeled Delimited Control Operators
ACM SIGPLAN via YouTube Capture Tracking in Scala
ACM SIGPLAN via YouTube How I Learned to Stop Worrying and Love Dynamic Languages
ACM SIGPLAN via YouTube Complete Multiparty Session Type Projection with Automata - ST30
ACM SIGPLAN via YouTube Session Types vs. Ordinary Types: Understanding Fundamental Differences - Lecture 30
ACM SIGPLAN via YouTube Degrees of Separation: A Flexible Type System for Data Race Prevention
ACM SIGPLAN via YouTube Borrow Checking in Hylo - A High-Level Systems Programming Language
ACM SIGPLAN via YouTube