Completed
[POPL'18] Type-Preserving CPS Translation of Σ and Π Types Is Not Not Possible
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Type-Preserving CPS Translation of Sigma and Pi Types Is Not Not Possible
Automatically move to the next video in the Classroom when playback concludes