CSE-321 Programming Languages - Schedule
[ Home
| Schedule
| Assignments
| Software
| Resources
]
gla@postech Sungwoo Park
- Lectures are Tuesday and Thursday 16:15pm-17:30pm, 정보통신연구소 122호.
- The schedule is subject to change throughout the semester.
-
CS = Course Notes.
(The up-to-date version including all chapters [PS, PDF])
Pucella = Notes on Programming SML/NJ, Riccardo Pucella
| Date |
Lecture |
Reading |
Quiz |
Assignment Due |
|
| Tue | Mar | 3 | |
Overview |
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]
|
|
|
| Thur | Mar | 5 | |
Introduction to functional programming (I) |
CS Chapter 1 [PS,
PDF]
Pucella Chapters 1, 2, 3
Slide [PPT]
|
|
|
|
| Tue | Mar | 10 | |
Introduction to functional programming (II) |
Slide [PPT]
|
|
|
| Wed | Mar | 11 | |
Introduction to functional programming (III) |
|
|
|
| Thur | Mar | 12 | |
Inductive definition |
CS Chapter 2 [PS,
PDF]
|
|
Assignment 1 |
|
| Tue | Mar | 17 | |
Introduction judgments |
|
|
|
| Wed | Mar | 18 | |
Introduction proofs |
|
|
|
| Thur | Mar | 19 | |
λ-Calculus (I) |
CS Chapter 3 [PS,
PDF]
|
|
Assignment 2 |
|
| Thur | Mar | 26 | |
λ-Calculus (II) |
Slide [PPT]
|
|
Assignment 3 |
|
| Thur | April | 2 | |
Programming in λ-Calculus |
|
|
|
|
| Tue | Apr | 7 | |
de Bruijn index |
|
|
|
| Thur | Apr | 9 | |
Simply typed λ-calculus |
CS Chapter 4 [PS,
PDF]
|
|
Assignment 4 |
|
| Tue | Apr | 14 | |
Type safety |
|
Quiz 1
[PS, PDF]
|
|
| Thur | Apr | 16 | |
Extensions to the simply typed λ-calculus (I) |
CS Chapter 5
[PS,
PDF]
|
Quiz 2
[PS, PDF]
|
|
|
| Thur | Apr | 21 | |
Extensions to the simply typed λ-calculus (II) |
|
|
|
| | | |
Midterm,
April 23 (Thursday) 4:15pm-5:45pm. 정보통신연구소 122호. Closed book.
Exam [PS, PDF]
Solution [PS, PDF]
|
|
| Tue | Apr | 28 | |
Evaluation contexts |
CS Chapter 8
[PS,
PDF]
|
|
|
| Thur | Apr | 30 | |
Environments and closures |
CS Chapter 9
[PS,
PDF]
|
|
Assignment 5 |
|
| Tue | May | 5 | |
(No class - 어린이날) |
|
|
|
| Thur | May | 7 | |
Mutable references |
CS Chapter 6
[PS,
PDF]
|
|
|
|
| Tue | May | 12 | |
Subtyping |
CS Chapter 11
[PS,
PDF]
|
|
Assignment 6 |
| Thur | May | 14 | |
(No class - 해맞이 한마당) |
|
|
|
|
| Tue | May | 19 | |
Recursive types |
CS Chapter 12
[PS,
PDF]
|
|
|
| Thur | May | 21 | |
Polymorphism - System F |
CS Chapter 13
[PS,
PDF]
|
|
Assignment 7 |
|
| Tue | May | 26 | |
Let-polymorphism |
|
Quiz 3
[PS, PDF]
|
|
| Thur | May | 28 | |
Type reconstruction |
|
Quiz 4
[PS, PDF]
| |
|
| Tue | June | 2 | |
It's Time to Get Functional - In The View of Performance - 이건희
[PDF]
Object orientation [PPT]
|
|
|
|
| Thur | June | 4 | |
LabVIEW, a visual programming language - 권혁준
[PPT]
Curry-Howard isomorphism [PPT]
|
|
|
|
|
| Tue | June | 9 | |
What programming language should we use tomorrow? - 김영수
[PPT]
Why python? - 장준호
[PDF]
|
|
|
|
| Thur | June | 11 | |
Review |
|
|
Assignment 8 |
|
| | | |
Final,
June 16 (Tuesday) 4:15pm-5:45pm. 정보통신연구소 122호. Closed book.
Exam [PDF]
Solution [PDF]
|
|
[ Home
| Schedule
| Assignments
| Software
| Resources
]
gla@postech Sungwoo Park
|