CSE-321 Programming Languages - Schedule
[ Home
| Schedule
| Assignments
| Software
| Resources
]
gla@postech Sungwoo Park
- The schedule is subject to change throughout the semester.
-
CS = Course Notes.
(The up-to-date version including all chapters [PDF])
Pucella = Notes on Programming SML/NJ, Riccardo Pucella
| Date |
Lecture |
Reading/Slide |
|
| Mar | 6 | |
Overview
Introduction to functional programming (I)
|
Slide [PPT]
Slide [PPT]
A Critical Look at Programming Languages by Tim Sweeney
The Free Lunch is Over:
A Fundamental Turn Toward Concurrency in Software
Software and the Concurrency Revolution (ACM Queue, September 2005)
[Local copy PDF]
Beating the Averages by Paul Graham
|
|
|
| Mar | 8 | |
Introduction to functional programming (II) |
|
|
| Mar | 13 | |
Introduction to functional programming (III) |
|
| Mar | 15 | |
Inductive definitions |
CS Chapter 2 [PDF]
|
|
| Mar | 20 | |
Inductive proofs |
|
| Mar | 22 | |
Lambda calculus |
CS Chapter 3 [PDF]
|
|
| Mar | 27 | |
Substitution |
|
Mar | 29 | |
Programming in the lambda calculus |
|
|
| | | |
Course preliminary evaluation
|
|
| Apr | 3 | |
De Bruijn indexes (I) |
|
Apr | 5 | |
De Bruijn indexes (II) |
|
|
| Apr | 10 | |
Simply-typed lambda calculus |
CS Chapter 4 [PDF]
|
| Apr | 12 | |
Type safety |
|
|
| Apr | 17 | |
Extension to the simply-typed lambda calculus |
CS Chapter 5 [PDF]
|
| Apr | 19 | |
Mutable references |
CS Chapter 6 [PDF]
|
|
| | | |
Midterm,
April 28, 2pm-5pm. 정보통신연구소 143호. Closed book.
|
|
| May | 1 | |
Evaluation contexts |
CS Chapter 8 [PDF]
|
| May | 3 | |
Abstract machine C |
|
|
| May | 8 | |
Environments and closures, Abstract machine E |
CS Chapter 9 [PDF]
|
| May | 10 | |
Subtyping |
CS Chapter 11 [PDF] |
|
| May | 15 | |
Recursive types |
CS Chapter 12 [PDF]
|
| May | 17 | |
System F |
CS Chapter 13 [PDF] |
|
| May | 22 | |
Programming in System F |
|
| May | 24 | |
Predicative polymorphic lambda calculus |
|
|
| May | 29 | |
Let polymorphism and implicit polymorphism |
|
| May | 31 | |
Type reconstruction (I) |
|
|
| June | 5 | |
Type reconstruction (II) |
|
| June | 7 | |
Type safety for mutable references |
|
|
| June | 12 | |
Software verification |
Slide [PPT]
|
| June | 14 | |
Review |
Slide [PPT]
|
|
| | | |
Final,
June 21, 2pm-5pm. 정보통신연구소 143호. Closed book.
|
|
[ Home
| Schedule
| Assignments
| Software
| Resources
]
gla@postech Sungwoo Park
|