Type System Courses
ACM SIGPLAN via YouTube Leveraging Rust Types for Program Synthesis
ACM SIGPLAN via YouTube Better Defunctionalization through Lambda Set Specialization
ACM SIGPLAN via YouTube Responsive Parallelism with Synchronization
ACM SIGPLAN via YouTube Modular Hardware Design with Timeline Types
ACM SIGPLAN via YouTube Refinement Types: From Light to Deep Verification - Lecture
ACM SIGPLAN via YouTube Yaffle: A New Core for Idris 2
ACM SIGPLAN via YouTube asai: A Library for Compiler Diagnostics
ACM SIGPLAN via YouTube Retrofitting Null-Safety into Java
ACM SIGPLAN via YouTube Inside the Scala Capture Checker
ACM SIGPLAN via YouTube