Type System Courses
ACM SIGPLAN via YouTube Internalizing Indistinguishability with Dependent Types
ACM SIGPLAN via YouTube When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism
ACM SIGPLAN via YouTube Polymorphic Type Inference for Dynamic Languages
ACM SIGPLAN via YouTube Effectful Software Contracts - Design and Implementation
ACM SIGPLAN via YouTube Mechanizing Refinement Types
ACM SIGPLAN via YouTube Pipelines and Beyond: Graph Types for ADTs with Futures
ACM SIGPLAN via YouTube All the Binaries Together: A Semantic Approach to Application Binary Interfaces
ACM SIGPLAN via YouTube Latte: Lightweight Aliasing Tracking for Java
ACM SIGPLAN via YouTube Totally Live Programming with Hazel - Progress Report
ACM SIGPLAN via YouTube