|
|
|
Date
October 2nd, 2020 Speaker
Rob MacCoun Department
Psychology
|
|
|
|
Reasoning about Modular Programs: Part 1: Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Ocaml Modules: Part 4: Module Evaluations
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Uncomputability: What We Can't Compute
Date
August 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Computability
Date
August 12th, 2020 Speaker
Andrew Appel 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 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
|
|
Implementing Ocaml in Ocaml: Part 3: More Features, More Fun!
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Polymorphism
Date
August 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Ocaml Datatypes: An Exercise in Type Design
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
|
|
Poly Ho!
Date
August 12th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Insertion Sort
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|