Types And Programming Languages (Fall, 2016)

News

Slides of exercise classes: 1&2, 3&4, 5&6, 7,8,9&10.
Final exam: Dec 9, (Friday of the 13th week) Time: 10:00-12:00, Place: Chenruiqiu Building 204
Sample exams:
- 2015 midterm, unsolved, solved
- 2015 final, unsolved, solved
- 2016 final (spring semester), unsolved, solved
Oct 17. Here is the slides of the first exercise class.
Oct 16. The deadline of Homework 3 is extended to Oct. 24.
Oct 11. We will have an exercise class next Monday, discussing the solutions of HW1,HW2.
Sep 26. The deadline of Homework 2 is extended to Oct.17
Sep 19. Welcome to the class!

Weeks	Lectures	Topics	Readings	Dates
#2	Lecture 1 Slides, handout version	Introduction to types in programming languages	Chapter 1, 3.1-3.5	Sep. 19
#3	Lecture 2 Slides, handout version sample codes	Introduction to OCaml and functional programming	Homework 2 http://ocaml.org, links of other resources can be found in the slides.	Sep. 26
#4	Holiday			Oct. 3
#5	Lecture 3 Slides, handout version	Untyped Lambda Calculus	Chapter 5,6	Oct. 10
#6	Lecture 4 Slides, handout version	Simply Typed Lambda Calculus	Chapter 8,9	Oct. 17
#7	Lecture 5 Slides, handout version	Extensions of simple types	Chapter 11	Oct. 24
#8	Lecture 6 Slides, handout version	Normalization, references and exceptions	Chapter 12,13,14	Oct. 31
#9	Lecture 7 Slides, handout version	Subtyping	Chapter 15, 16	Nov. 7
#10	Lecture 8 Slides, handout version	Recursive types	Chapter 20,21	Nov. 14
#11	Lecture 9 Slides, handout version	Type reconstruction	Chapter 22	Nov. 21
#12	Lecture 10 Slides, handout version	Universal and existential types	Chapter 23, 24	Nov. 28
#13	Lecture 11 Slides, handout version	Reviews		Dec. 5