CSE-321 Programming Languages - Schedule
[ Home
| Schedule
| Assignments
| Software
| Resources
| Pictures
]
gla@postech Sungwoo Park
- Lectures are Monday and Wednesday, 11:00am - 12:15pm, 정보통신연구소 143호.
- The schedule is subject to change throughout the semester.
-
TPL = Types and Programming Languages, Benjamin C. Pierce.
CS = Course Notes.
(The up-to-date version including all chapters [PS, PDF])
NP = Notes on Programming SML/NJ, Riccardo Pucella
| Date |
Lecture |
Reading |
Assignment Due |
|
| Mon | Mar | 6 | |
Overview |
Slide [PPT] |
|
| Wed | Mar | 8 | |
Introduction to functional programming (I) |
CS Chapter 1 [PS, PDF]
NP Section 1.6
Slide [PPT]
|
|
|
| Mon | Mar | 13 | |
Introduction to functional programming (II) |
Slide [PPT] |
|
| Wed | Mar | 15 | |
Inductive definition |
CS Chapter 2 [PS, PDF]
TPL Chapter 1, 2
Slide [PPT]
|
Assignment 1 |
|
| Mon | Mar | 20 | |
Inductive proof |
Slide [PPT]
|
|
| Wed | Mar | 22 | |
λ-Calculus (I) |
CS Chapter 3 [PS, PDF]
TPL Chapter 3, 5
Slide [PPT]
|
Assignment 2 (March 24, Friday) |
|
| Mon | Mar | 27 | |
λ-Calculus (II) |
Slide [PPT]
|
|
| Wed | Mar | 29 | |
Fixed point combinator |
Slide [PPT]
|
|
|
| Mon | Apr | 3 | |
Simply-typed λ-calculus |
CS Chapter 4 [PS, PDF]
TPL Chapter 8, 9.1, 9.2, 9.3
Slide [PPT]
|
Assignment 3 |
| Wed | Apr | 5 | |
Type safety |
Slide [PPT]
|
|
|
| Mon | Apr | 10 | |
Extensions to the simply typed λ-calculus |
CS Chapter 5 [PS, PDF]
TPL Chapter 11
Slide [PPT]
|
|
| Wed | Apr | 12 | |
Evaluation contexts |
CS Chapter 6 [PS, PDF]
Slide [PPT]
|
|
|
| Mon | Apr | 17 | |
Evaluation semantics |
CS Chapter 7 [PS, PDF]
Slide [PPT]
|
Assignment 4 |
| Wed | Apr | 19 | |
Continuations |
CS Chapter 8 [PS, PDF]
Slide [PPT]
|
|
|
| | | |
Midterm,
Monday, April 24, 11:00am - 12:30pm. 정보통신연구소 143호. Closed book.
Exam [PS, PDF]
Solution [PS, PDF]
|
|
| Mon | May | 1 | |
Abstract machine E |
Slide [PPT]
|
|
| Wed | May | 3 | |
Bidirectional typechecking |
CS Chapter 9 [PS, PDF]
Slide [PPT]
|
Assignment 5 (May 5, Friday) |
|
| Mon | May | 8 | |
Mutable references |
CS Chapter 10 [PS, PDF]
TPL Chapter 13
Slide [PPT]
|
|
| Wed | May | 10 | |
Subtyping |
CS Chapter 11 [PS, PDF]
TPL Chapter 15
Slide [PPT]
|
|
|
| Mon | May | 15 | |
System F |
CS Chapter 12 [PS, PDF]
TPL Chapter 23
Slide [PPT]
|
Assignment 6 |
| Wed | May | 17 | |
Predicative polymorphic λ-calculus |
Slide [PPT]
|
|
|
| Mon | May | 22 | |
Let-polymorphism |
Slide [PPT]
|
|
| Wed | May | 24 | |
Recursive types |
CS Chapter 13 [PS, PDF]
TPL Chapter 20
Slide [PPT]
|
|
|
| Mon | May | 29 | |
TML in Assignment 8 |
Slide [PPT]
|
Assignment 7 |
| Wed | May | 31 | |
(no class) |
|
|
|
| Mon | June | 5 | |
Dependent types |
Slide [PPT] |
|
| Wed | June | 7 | |
Call-by-need and Haskell |
Slide [PPT] |
|
|
| Mon | June | 12 | |
Curry-Howard isomorphism |
Slide [PPT] |
Assignment 8 |
| Wed | June | 14 | |
Review |
|
|
|
| | | |
Final Exam,
Wednesday, June 21, 10pm - 1am, 정보통신연구소 143호. Open book/notes, no notebook.
Exam [PS, PDF]
Solution [PS, PDF]
|
[ Home
| Schedule
| Assignments
| Software
| Resources
| Pictures
]
gla@postech Sungwoo Park
|