|
Proving the Equivalence of Two Modules
Date
November 3rd, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Type Checking: Part 2: Ocaml Implementation
Date
August 16th, 2020 Speaker
David Walker 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
|
|
Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
PNI Bootcamp 2020 Day 1 Math/Programming
Date
August 3rd, 2020 Department
Princeton Neuroscience Institute
|
|
Date
March 16th, 2020 Speaker
Tara Schaufler Department
Information Security Office
|
|
Dr. Francesco Romanelli
JET and EFDA
|