Dependent Types Courses
ACM SIGPLAN via YouTube An Intrinsically-typed Probabilistic Programming Language in Coq - Extended Abstract
ACM SIGPLAN via YouTube A Calculus of Inductive Linear Constructions
ACM SIGPLAN via YouTube An Intrinsically Typed Compiler for Algebraic Effect Handlers
ACM SIGPLAN via YouTube One-Pass CPS Translation of Dependent Types
ACM SIGPLAN via YouTube Colouring Flags with Dafny and Idris - Dafny'24
ACM SIGPLAN via YouTube Combining Dependency, Grades, and Adjoint Logic in Type Systems
ACM SIGPLAN via YouTube A Dependently Typed Language with Dynamic Equality
ACM SIGPLAN via YouTube Type Theory Session Preview - POPL 2023
ACM SIGPLAN via YouTube