|
|
Date
November 12th, 2024 Speaker
Kazuya Yonekura Department
PCTS Location
Jadwin 407
|
|
|
Smooth Fano Toric Surfaces Advised by: Prof.…
Date
August 1st, 2024 Speaker
Kashti Satish Umare Department
Office of Undergraduate Research
|
|
|
Dmitri Feldman – Brown University
Date
June 9th, 2021 Speaker
Dmitri Feldman – Brown University Department
PRISM
|
|
|
Bertrand I. Halperin - Harvard University
Date
June 8th, 2021 Speaker
Bertrand I. Halperin - Harvard University Department
PRISM
|
|
|
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…
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
A Functional Space Model
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Did I Get it Right? Part 5: Proofs About…
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
A Mathematical Model of Ocaml
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Implementing Ocaml in Ocaml: Part 2: Substitution…
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Implementing Ocaml in Ocaml: Part 1: Representing…
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Where did type systems come from?
Date
August 12th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
Let Expressions
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
|
|
|
PNI Bootcamp 2020 Day 1 Math/Programming
Date
August 3rd, 2020 Department
Princeton Neuroscience Institute
|