Type System Courses
ACM SIGPLAN via YouTube A History of Subtyping
ACM SIGPLAN via YouTube Shape-Constrained Array Programming with Size-Dependent Types
ACM SIGPLAN via YouTube Event-Driven Multiparty Session Actors
ACM SIGPLAN via YouTube One Weird Trick to Untie Landin's Knot
ACM SIGPLAN via YouTube Exploring Modal Types for the Intel Quantum SDK
ACM SIGPLAN via YouTube A Type System for Feature Engineering in Machine Learning
ACM SIGPLAN via YouTube The Principles of the Flix Programming Language
ACM SIGPLAN via YouTube Descend: A Safe GPU Systems Programming Language
ACM SIGPLAN via YouTube Space-Efficient Polymorphic Gradual Typing, Mostly Parametric - PLDI 2024
ACM SIGPLAN via YouTube