FRAMES
NO
FRAMES
Schedule
Lectures, exams, topics.
-
Tu, Sept 5: Overview
and course organization (txt).
More on "definitions" by induction
and "proofs" by induction (pdf).
-
Th, Sept 7:
The language of arithmetical expressions
(ps
4 slides per page).
-
Tu, Sept 12:
The untyped lambda calculus
(ps 2 slides per
page,
ps 4 slides per
page).
-
Th, Sept 14:
Programming in the lambda calculus
(ps
2 slides per page,
ps
4 slides per page).
- Monday, Sept 18: LAST DAY TO ADD CLASS.
-
Tu, Sept 19:
More on recursion in the lambda calculus
(ps
2 slides per page,
ps
4 slides per page),
typed arithmetic expressions
(ps
2 slides per page,
ps
4 slides per page).
-
Th, Sept 21:
The simply-typable lambda-calculus
(ps
2 slides per page,
ps
4 slides per page).
-
Tu, Sept 26:
Extensions of the simply-typed
lambda-calculus
(ps
2 slides per page,
ps
4 slides per page).
-
Th, Sept 28:
Extensions of the simply-typed
lambda-calculus (continued)
(ps
2 slides per page,
ps
4 slides per page).
-
Tu, Oct 3:
References
(ps
2 slides per page,
ps
4 slides per page).
Normalization
(ps
2 slides per page,
ps
4 slides per page).
-
Th, Oct 5:
Retrospection
(ps
2 slides per page,
ps
4 slides per page).
- Friday, Oct 6: LAST DAY TO DROP CLASS WITHOUT "W".
-
Tu, Oct 10: NO LECTURE. Monday schedule.
-
Th, Oct 12:
References (continued) -- see handout from Oct 3 lecture.
-
Tu, Oct 17:
Exceptions
(ps
2 slides per page,
ps
4 slides per page).
-
Th, Oct 19:
Evaluation contexts
(ps
1 slides per page,
ps
2 slides per page).
-
Tu, Oct 24:
Evaluation contexts (continued)
(ps
1 slides per page,
ps
2 slides per page).
-
Thursday, Oct 26:
Mid-term examination.
Solutions.
-
Friday, Oct 27: LAST DAY TO DROP CLASS WITH "W".
-
Tu, Oct 31:
Evaluation contexts (continued again)
(ps
1 slides per page,
ps
2 slides per page).
Contrasting Exceptions and Continuations by Hayo Thielecke
(pdf).
Alternative presentation of sum types
(ps
2 slides per page,
ps
4 slides per page).
-
Th, Nov 2:
Type reconstruction
(ps
2 slides per page,
ps
4 slides per page).
-
Tu, Nov 7:
Type reconstruction continued
(ps
2 slides per page,
ps
4 slides per page).
-
Th, Nov 9:
Different presentation of let-polymorphism
(ps
2 slides per page,
ps
4 slides per page).
-
Tu, Nov 14:
Universal types
(ps
2 slides per page,
ps
4 slides per page).
-
Th, Nov 16:
Universal types continued
(ps
2 slides per page,
ps
4 slides per page).
-
Tu, Nov 21:
Subtyping
(ps
2 slides per page,
ps
4 slides per page).
-
Th, Nov 23: THANKSGIVING.
-
Tu, Nov 28:
Subtyping continued
(ps
2 slides per page,
ps
4 slides per page).
-
Th, Nov 30:
Metatheory of subtyping
(ps
2 slides per page,
ps
4 slides per page). Not presented in lecture, not covered
in problem sets and end-of-term exam.
-
Tu, Dec 5:
Recursive types
(ps
2 slides per page,
ps
4 slides per page).
Congruence relations
(ps
2 slides per page,
ps
4 slides per page).
-
Th, Dec 7:
Positive recursive types
(ps
2 slides per page,
ps
4 slides per page).
-
Tu, Dec 12:
Recursive types and subtyping
(ps
2 slides per page,
ps
4 slides per page).
-
Wednesday, Dec 13: STUDY PERIOD STARTS.
-
Friday, Dec 15: FINAL EXAMS START.
-
Saturday, Dec 16,
from 9:00 am to 11:00 am: End-of-term examination.
Solutions.
Maintained by Assaf Kfoury
Created:
2006.08.21
Last modified: 2006.12.12