|
Uncomputability: What We Can't Compute
Date
August 16th, 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
|
|
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 2: Substitution and Evaluation
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|