Type System Courses
ACM SIGPLAN via YouTube A Type System for Elixir
ACM SIGPLAN via YouTube Vehicle - A Specification Language for Neural Network Properties
ACM SIGPLAN via YouTube Homotopy Type Theory for Sewn Quilts
ACM SIGPLAN via YouTube Weighted Refinement Types for Counterpoint Composition
ACM SIGPLAN via YouTube Typed Design Patterns for the Functional Era - FUNARCH'23
ACM SIGPLAN via YouTube Modernizing Standard ML of New Jersey: A Status Report
ACM SIGPLAN via YouTube Layout Polymorphism: Using Static Computation for Efficient Polymorphism Over Variable Representations
ACM SIGPLAN via YouTube As Low-Level as Possible, But No Lower - WebAssembly's Evolution and Future
ACM SIGPLAN via YouTube TypeScript: Static Types for JavaScript - Keynote
ACM SIGPLAN via YouTube