Completed
[POPL'24] Modular Denotational Semantics for Effects with Guarded Interaction Trees
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Modular Denotational Semantics for Effects with Guarded Interaction Trees
Automatically move to the next video in the Classroom when playback concludes