|
|
|
Proving the Equivalence of Two Modules
Date
November 3rd, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
“SARS-CoV-2: Can we test our way out of this?” Abstract: The world wasn’t prepared for SARS-CoV-2. The public health infrastructure required to detect and stop global spread of a…
Date
September 9th, 2020 Speaker
Michael Mina, Ph.D. Department
Molecular Biology Location
Zoom Webinar
|
|
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
|
|
Ocamls Modules: Part 1: Simple Structures
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
How Ocaml Compiled to a Von Neumann Machine
Date
August 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
A Mathematical Model of Ocaml
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Community Action Program Coordinator Maggie Hussar leads Engagement 101, a workshop to prepare first-year students at Princeton University for Community Action.
Date
August 14th, 2020 Department
Pace Center for Civic Engagement
|
|
Implementing Ocaml in Ocaml: Part 2: Substitution and Evaluation
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Ocaml Datatypes
Date
August 12th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
C Rant
Date
August 12th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Options
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Introduction to Ocaml
Date
August 12th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Staff with the John H. Pace, Jr. '39 Center for Civic Engagement share hopes, tips, and advice for the Great Class of 2024 as part of Community Action and Orientation to Princeton University.
Date
August 11th, 2020 Department
Pace Center for Civic Engagement
|