|
|
|
|
|
|
|
Come learn what distinguishes a dissertation from a book manuscript,
what editors are looking for in book proposals, what to expect from the
process, how to think about the market/readership for…
Date
January 18th, 2022 Speaker
Ruha Benjamin Department
African American Studies
|
|
Professor Brewer will explore the contributions that a theory of argument (the Logocratic Method, a philosophical explanation of the nature of arguments and some of their principal uses) can make to…
Date
December 7th, 2021 Speaker
Professor Scott Brown Department
James Madison Program Location
Bowen 222
|
|
From this workshop, students can expect to walk away with a plan of action for expressing the solid achievements that will contribute to their success as graduate students. In this workshop, they…
Date
October 8th, 2020 Speaker
Afia Ofori-Mensa, PhD Department
Director, Presidential Scholars Program, Princeton University
|
|
Type Checking: Part 4: Type Inference (Quantifiers)
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Type Checking: Part 3: Type Inference (Simple Types)
Date
August 16th, 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 1: Representation Invariants
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
|
|
Ocaml Modules: Part 2: Design Choices
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Computability
Date
August 12th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Did I Get it Right? Part 5: Proofs About Programming Languages
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Implementing Ocaml in Ocaml: Part 3: More Features, More Fun!
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|