Completed
(stateful) protocols
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
I See What You Mean
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Abstraction: the good
- 3 Abstraction: the bad
- 4 Abstraction: the ugly
- 5 Back-of-envelope calculations
- 6 Hellerstein's inequality
- 7 Semantics: a richer example
- 8 Lineage and derivation
- 9 (stateless) protocols
- 10 (stateful) protocols
- 11 Distributed language requirements
- 12 A relativist model of time
- 13 Dedalus: Syntax
- 14 Syntax Sugar
- 15 Dedalus: stateful patterns
- 16 Ultimate Models
- 17 CALM Theorem
- 18 Dedalus: design choices
- 19 Logic programming tricks From model theory
- 20 Dedalus answers