-
From Daniel Macleod November 17th, 2020
0 likes 243 playsParallel Prefix Scan -
From Daniel Macleod November 15th, 2020
0 likes 255 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 149 playsCOS510 preview - Software Verification -
From Daniel Macleod September 3rd, 2020
0 likes 163 playsProgramming with Parallel Sequences -
From Daniel Macleod September 3rd, 2020
0 likes 248 playsParallel Sequences -
From Daniel Macleod September 3rd, 2020
0 likes 210 playsParallelism I -
From Andrew Appel August 24th, 2020
0 likes 371 playsWelcome and Introduction -
From Daniel Macleod August 21st, 2020
0 likes 233 playsLazy Evaluation and Infinite Data -
From Daniel Macleod August 21st, 2020
0 likes 183 playsMutation -
From Daniel Macleod August 16th, 2020
0 likes 98 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 143 playsType Checking: Part 2: Ocaml Implementation -
From Daniel Macleod August 16th, 2020
0 likes 159 playsType Checking: Part 1: Formal Rules
