Completed
[TyDe'23] Combining Dependency, Grades, and Adjoint Logic
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Combining Dependency, Grades, and Adjoint Logic in Type Systems
Automatically move to the next video in the Classroom when playback concludes
