-
From Daniel Macleod
0 likes 242 playsParallel Prefix Scan -
From Daniel Macleod
0 likes 253 playsThe Turing Machine Test: module proof for equivalence -
From Andrew Appel
0 likes 108 playsYaron Minsky guest lecture in Princeton COS 326 Functional Programming, November 5, 2020 -
From Daniel Macleod
0 likes 226 playsProving the Equivalence of Two Modules -
From Daniel Macleod
0 likes 147 playsCOS510 preview - Software Verification -
From Daniel Macleod
0 likes 161 playsProgramming with Parallel Sequences -
From Daniel Macleod
0 likes 247 playsParallel Sequences -
From Daniel Macleod
0 likes 209 playsParallelism I -
From Andrew Appel
0 likes 369 playsWelcome and Introduction -
From Daniel Macleod
0 likes 232 playsLazy Evaluation and Infinite Data -
From Daniel Macleod
0 likes 183 playsMutation -
From Daniel Macleod
0 likes 96 playsType Checking: Part 4: Type Inference (Quantifiers) -
From Daniel Macleod
0 likes 164 playsType Checking: Part 3: Type Inference (Simple Types) -
From Daniel Macleod
0 likes 141 playsType Checking: Part 2: Ocaml Implementation -
From Daniel Macleod
0 likes 156 playsType Checking: Part 1: Formal Rules