Completed
"Scala vs Idris: Dependent types, now and in the future" by Miles Sabin and Edwin Brady (2013)
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Scala vs Idris - Dependent Types, Now and in the Future
Automatically move to the next video in the Classroom when playback concludes