Type System Courses
ACM SIGPLAN via YouTube Verus: Verifying Rust Programs Using Linear Ghost Types
ACM SIGPLAN via YouTube Structural Subtyping as Parametric Polymorphism
ACM SIGPLAN via YouTube Functional Collection Programming with Semi-Ring Dictionaries
ACM SIGPLAN via YouTube Back to Direct Style: Typed and Tight
ACM SIGPLAN via YouTube Fluent APIs in Functional Languages
ACM SIGPLAN via YouTube P4R-Type: A Verified API for P4 Control Plane Programs
ACM SIGPLAN via YouTube How Profilers Can Help Navigate Type Migration
ACM SIGPLAN via YouTube Simple Reference Immutability for System F-sub
ACM SIGPLAN via YouTube A Gradual Probabilistic Lambda Calculus
ACM SIGPLAN via YouTube