Type System Courses
ACM SIGPLAN via YouTube Type-Checking CRDT Convergence
ACM SIGPLAN via YouTube A Type System for Safe Intermittent Computing
ACM SIGPLAN via YouTube Parallelism in a Region Inference Context
ACM SIGPLAN via YouTube Proving Capability Safety in the Presence of Indirect Sentries
ACM SIGPLAN via YouTube Focusing on Refinement Typing - A Logically Principled Foundation
ACM SIGPLAN via YouTube Soundly Handling Linearity - Combining Linear Types with Multi-Shot Effect Handlers
ACM SIGPLAN via YouTube Parametric Subtyping for Structural Parametric Polymorphism
ACM SIGPLAN via YouTube Indexed Types for a Statically Safe WebAssembly - POPL 2024
ACM SIGPLAN via YouTube Generating Well-Typed Terms That Are Not "Useless"
ACM SIGPLAN via YouTube