|
|
|
|
|
The Turing Machine Test: module proof for equivalence
Date
November 15th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Proving the Equivalence of Two Modules
Date
November 3rd, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Programming with Parallel Sequences
Date
September 3rd, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Reasoning About Modular Programs: Part 3: More Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Reasoning About Modular Programs: Part 2: Proving Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Reasoning about Modular Programs: Part 1: Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Ocaml Modules: Part 4: Module Evaluations
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Ocaml Modules: Part 3: Functors
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Ocamls Modules: Part 1: Simple Structures
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
This video will walk the viewer through the process of creating an agreement in Princeton ERA. To practice entering an agreement in Princeton ERA, log on to the Princeton ERA Training environment…
|
|
Coeus Training - Coeus Basics Part 1: Provides answers to the following questions: What is Coeus? Why does Princeton University use Coeus? What information does Coeus contain? How does Coeus…
Date
September 14th, 2019 Speaker
Kyle Burkhardt Department
ORPA
|
|
Coeus Training - Coeus Basics Part 3: How to navigate through Coeus modules and windows and how to search in Coeus.
Date
September 14th, 2019 Speaker
Kyle Burkhardt Department
ORPA
|
|
Date
November 10th, 2017 Speaker
Yueh-Linn (Lynn) Loo Location
Maeder Hall, Andlinger Center
|
|
This is an introduction to the 6 videos for RCAs on the first year fall semester.
|