|
Yaron Minsky guest lecture in Princeton COS 326 Functional Programming, November 5, 2020
Date
November 5th, 2020 Speaker
Yaron Minsky
|
|
COS510 preview - Software Verification
Date
September 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Welcome and Introduction
Date
August 24th, 2020 Speaker
Andrew Appel and David Walker Department
COS
|
|
Mutation
Date
August 21st, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
Ocaml Modules: Part 2: Design Choices
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Ocamls Modules: Part 1: Simple Structures
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
|
|
How Ocaml Compiled to a Von Neumann Machine
Date
August 16th, 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
|
|
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
|
|
Implementing Ocaml in Ocaml: Part 1: Representing Abstract Syntax
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
C Rant
Date
August 12th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
A Short Java Rant
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
Simple Functions
Date
August 12th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|