-
From Daniel Macleod November 17th, 2020
0 likes 242 playsParallel Prefix Scan -
From Daniel Macleod November 15th, 2020
0 likes 254 playsThe Turing Machine Test: module proof for equivalence -
From Andrew Appel November 5th, 2020
0 likes 108 playsYaron Minsky guest lecture in Princeton COS 326 Functional Programming, November 5, 2020 -
From Daniel Macleod November 3rd, 2020
0 likes 227 playsProving the Equivalence of Two Modules -
From Daniel Macleod September 16th, 2020
0 likes 147 playsCOS510 preview - Software Verification -
From Daniel Macleod September 3rd, 2020
0 likes 162 playsProgramming with Parallel Sequences -
From Daniel Macleod September 3rd, 2020
0 likes 247 playsParallel Sequences -
From Daniel Macleod September 3rd, 2020
0 likes 209 playsParallelism I -
From Andrew Appel August 24th, 2020
0 likes 370 playsWelcome and Introduction -
From Daniel Macleod August 21st, 2020
0 likes 232 playsLazy Evaluation and Infinite Data -
From Daniel Macleod August 21st, 2020
0 likes 183 playsMutation -
From Daniel Macleod August 16th, 2020
0 likes 96 playsType Checking: Part 4: Type Inference (Quantifiers) -
From Daniel Macleod August 16th, 2020
0 likes 166 playsType Checking: Part 3: Type Inference (Simple Types) -
From Daniel Macleod August 16th, 2020
0 likes 142 playsType Checking: Part 2: Ocaml Implementation -
From Daniel Macleod August 16th, 2020
0 likes 158 playsType Checking: Part 1: Formal Rules
