|
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 Programming Languages
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 Features, More Fun!
Date
August 12th, 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
|
|
Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax
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
|