Type Safety Courses
ACM SIGPLAN via YouTube Asynchronous and Synchronous Mixed Sessions in Session Types - Lecture 30
ACM SIGPLAN via YouTube Haskell Library for Safer Virtual Machine Introspection - Experience Report
ACM SIGPLAN via YouTube A History of Subtyping
ACM SIGPLAN via YouTube Lang-n-Prove: A Domain-Specific Language for Language Proofs
ACM SIGPLAN via YouTube Suki: Choreographed Distributed Dataflow in Rust
ACM SIGPLAN via YouTube An Intrinsically Typed Compiler for Algebraic Effect Handlers
ACM SIGPLAN via YouTube Improving the Stability of Type Safety Proofs in Dafny
ACM SIGPLAN via YouTube Continuing WebAssembly with Effect Handlers
ACM SIGPLAN via YouTube Improving Our Safety with a Modern C++ Quantities and Units Library - C++ on Sea 2024
cpponsea via YouTube