Search for tag: "function"

21-02-parallel-prefix-scan

Parallel Prefix Scan

From  Daniel Macleod on November 17th, 2020 0 likes 221 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod on November 15th, 2020 0 likes 242 plays

Effective ML

Yaron Minsky guest lecture in Princeton COS 326 Functional Programming, November 5, 2020

From  Andrew Appel on November 5th, 2020 0 likes 81 plays

Cos326-13-04-module-equivalence

Proving the Equivalence of Two Modules

From  Daniel Macleod on November 3rd, 2020 0 likes 209 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod on September 16th, 2020 0 likes 131 plays

cos326-2020-22-01-parallelism-and-a7

Programming with Parallel Sequences

From  Daniel Macleod on September 3rd, 2020 0 likes 150 plays

cos326-2020-21-01-parallel-collections

Parallel Sequences

From  Daniel Macleod on September 3rd, 2020 0 likes 236 plays

cos326-2020-18-01-parallelism-future

Parallelism I

From  Daniel Macleod on September 3rd, 2020 0 likes 201 plays

cos326-2020-16-02-laziness.mp4

Lazy Evaluation and Infinite Data

From  Daniel Macleod on August 21st, 2020 0 likes 216 plays

cos326-2020-16-01-mutation

Mutation

From  Daniel Macleod on August 21st, 2020 0 likes 170 plays

cos326-2020-17-04-type-inference-2

Type Checking: Part 4: Type Inference (Quantifiers)

From  Daniel Macleod on August 16th, 2020 0 likes 82 plays