-
From Daniel Macleod
0 likes 238 playsParallel Prefix Scan -
From Daniel Macleod
0 likes 252 playsThe Turing Machine Test: module proof for equivalence -
From Andrew Appel
0 likes 104 playsYaron Minsky guest lecture in Princeton COS 326 Functional Programming, November 5, 2020 -
From Daniel Macleod
0 likes 225 playsProving the Equivalence of Two Modules -
From Daniel Macleod
0 likes 146 playsCOS510 preview - Software Verification -
From Daniel Macleod
0 likes 158 playsProgramming with Parallel Sequences -
From Daniel Macleod
0 likes 245 playsParallel Sequences -
From Daniel Macleod
0 likes 207 playsParallelism I -
From Andrew Appel
0 likes 366 playsWelcome and Introduction -
From Daniel Macleod
0 likes 230 playsLazy Evaluation and Infinite Data -
From Daniel Macleod
0 likes 181 playsMutation -
From Daniel Macleod
0 likes 94 playsType Checking: Part 4: Type Inference (Quantifiers) -
From Daniel Macleod
0 likes 163 playsType Checking: Part 3: Type Inference (Simple Types) -
From Daniel Macleod
0 likes 139 playsType Checking: Part 2: Ocaml Implementation -
From Daniel Macleod
0 likes 155 playsType Checking: Part 1: Formal Rules