03:57
cos326-2020-11-03-pruning-closures
Pruning Closures in Your Environment Based Interpreter
25:14
cos326-2020-10-02-von-neumann
How Ocaml Compiled to a Von Neumann Machine
24:10
cos326-2020-09-01-space-model
A Functional Space Model
12:40
cos326-2020-04-04-type-history
Where did type systems come from?