09:39 duration 9 minutes 39 seconds
cos326-2020-17-02-type-checking-implementation
Type Checking: Part 2: Ocaml Implementation
21:17 duration 21 minutes 17 seconds
cos326-2020-17-01-type-checking-rules
Type Checking: Part 1: Formal Rules
14:02 duration 14 minutes 2 seconds
cos326-2020-02-02-functions
Simple Functions
01:22:39 duration 1 hour 22 minutes
JKrommes, AST-554, Lecture 14, "Cei Begin…
JKrommes, AST-554, Lecture 14, "Cei Begin Chapman-Enskog Procedure", 08APR2014
Professor John Krommes, Princeton University