Search for tag: "cos326"

45 Media

21-02-parallel-prefix-scan duration 42 minutes 50 seconds 21-02-parallel-prefix-scan 21-02-parallel-prefix-scan	21-02-parallel-prefix-scan Parallel Prefix Scan cos326 +20 More From Daniel Macleod 0 likes 242 plays Date November 17th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
13-05-turing-machine-tape duration 33 minutes 26 seconds 13-05-turing-machine-tape 13-05-turing-machine-tape	13-05-turing-machine-tape The Turing Machine Test: module proof for equivalence cos326 +20 More From Daniel Macleod 0 likes 253 plays Date November 15th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
Cos326-13-04-module-equivalence duration 30 minutes 15 seconds Cos326-13-04-module-equivalence Cos326-13-04-module-equivalence	Cos326-13-04-module-equivalence Proving the Equivalence of Two Modules cos326 +20 More From Daniel Macleod 0 likes 226 plays Date November 3rd, 2020 Speaker David Walker Department COS Location Princeton NJ
COS510-preview duration 17 minutes 43 seconds COS510-preview COS510-preview	COS510-preview COS510 preview - Software Verification cos326 +20 More From Daniel Macleod 0 likes 147 plays Date September 16th, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
cos326-2020-21-01-parallel-collections duration 57 minutes 45 seconds cos326-2020-21-01-parallel-collections cos326-2020-21-01-parallel-collections	cos326-2020-21-01-parallel-collections Parallel Sequences cos326 +21 More From Daniel Macleod 0 likes 247 plays Date September 3rd, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
cos326-2020-18-01-parallelism-future duration 55 minutes 37 seconds cos326-2020-18-01-parallelism-future cos326-2020-18-01-parallelism-future	cos326-2020-18-01-parallelism-future Parallelism I cos326 +21 More From Daniel Macleod 0 likes 209 plays Date September 3rd, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
cos326-2020-16-02-laziness.mp4 duration 35 minutes 50 seconds cos326-2020-16-02-laziness.mp4 cos326-2020-16-02-laziness.mp4	cos326-2020-16-02-laziness.mp4 Lazy Evaluation and Infinite Data cos326 +20 More From Daniel Macleod 0 likes 232 plays Date August 21st, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
cos326-2020-16-01-mutation duration 39 minutes 48 seconds cos326-2020-16-01-mutation cos326-2020-16-01-mutation	cos326-2020-16-01-mutation Mutation cos326 +20 More From Daniel Macleod 0 likes 183 plays Date August 21st, 2020 Speaker Andrew Appel Department COS Location Princeton NJ
cos326-2020-17-04-type-inference-2 duration 20 minutes 43 seconds cos326-2020-17-04-type-inference-2 cos326-2020-17-04-type-inference-2	cos326-2020-17-04-type-inference-2 Type Checking: Part 4: Type Inference (Quantifiers) cos326 +20 More From Daniel Macleod 0 likes 96 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-17-03-type-inference-1 duration 43 minutes 7 seconds cos326-2020-17-03-type-inference-1 cos326-2020-17-03-type-inference-1	cos326-2020-17-03-type-inference-1 Type Checking: Part 3: Type Inference (Simple Types) cos326 +20 More From Daniel Macleod 0 likes 164 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-17-02-type-checking-implementation duration 9 minutes 39 seconds cos326-2020-17-02-type-checking-implementation cos326-2020-17-02-type-checking-implementation	cos326-2020-17-02-type-checking-implementation Type Checking: Part 2: Ocaml Implementation cos326 +20 More From Daniel Macleod 0 likes 141 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-17-01-type-checking-rules duration 21 minutes 17 seconds cos326-2020-17-01-type-checking-rules cos326-2020-17-01-type-checking-rules	cos326-2020-17-01-type-checking-rules Type Checking: Part 1: Formal Rules cos326 +20 More From Daniel Macleod 0 likes 156 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-13-03-ho-rep-inv duration 22 minutes 46 seconds cos326-2020-13-03-ho-rep-inv cos326-2020-13-03-ho-rep-inv	cos326-2020-13-03-ho-rep-inv Reasoning About Modular Programs: Part 3: More Representation Invariants cos326 +20 More From Daniel Macleod 0 likes 230 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-13-02-rep-inv-set duration 13 minutes 10 seconds cos326-2020-13-02-rep-inv-set cos326-2020-13-02-rep-inv-set	cos326-2020-13-02-rep-inv-set Reasoning About Modular Programs: Part 2: Proving Representation Invariants cos326 +20 More From Daniel Macleod 0 likes 211 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-13-01-representation-invariants duration 12 minutes 36 seconds cos326-2020-13-01-representation-invariants cos326-2020-13-01-representation-invariants	cos326-2020-13-01-representation-invariants Reasoning about Modular Programs: Part 1: Representation Invariants cos326 +20 More From Daniel Macleod 0 likes 212 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ
cos326-2020-12-04-module-evaluation duration 8 minutes 10 seconds cos326-2020-12-04-module-evaluation cos326-2020-12-04-module-evaluation	cos326-2020-12-04-module-evaluation Ocaml Modules: Part 4: Module Evaluations cos326 +20 More From Daniel Macleod 0 likes 141 plays Date August 16th, 2020 Speaker David Walker Department COS Location Princeton NJ