|
|
|
|
|
|
|
|
Developmental Perception of Facial Expression to…
Date
August 1st, 2023 Speaker
Zoha Khan Department
Office of Undergraduate Research
|
|
|
Type Checking: Part 2: Ocaml Implementation
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Type Checking: Part 1: Formal Rules
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
|
|
|
Did I Get it Right? Part 1: Simple Proofs
Date
August 12th, 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 3: More…
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
|
|
|
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
|
|
|
Check out the Prospective PhD Preview!
Date
June 1st, 2020 Department
Access, Diversity and Inclusion at Princeton's Graduate School Location
Princeton, NJ
|