|
|
Programming with Parallel Sequences
Date
September 3rd, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
Mutation
Date
August 21st, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
Type Checking: Part 4: Type Inference (Quantifiers)
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Type Checking: Part 3: Type Inference (Simple Types)
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
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
|
|
|
Reasoning About Modular Programs: Part 3: More Representation Invariants
Date
August 16th, 2020 Speaker
David Walker Department
COS Location
Princeton NJ
|
|
|
Polymorphism
Date
August 16th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|
|
|
Inductive Datatypes
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
|
|
|
Thinking Inductively
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
|
|
|
Introduction to Ocaml
Date
August 12th, 2020 Speaker
Andrew Appel Department
COS Location
Princeton NJ
|