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