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