21:17
cos326-2020-17-01-type-checking-rules
Type Checking: Part 1: Formal Rules
18:47
cos326-2020-06-04-operational-semantics
A Mathematical Model of Ocaml