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])
  • The video files can be accessed only from postech.ac.kr domains.
In-class exams:
  1. Inductive definition (Mar 14) [PDF]
  2. Inductive proof (Mar 19) [PDF]
  3. Inductive proof and lambda calculus (Mar 21) [PDF]
  4. Inductive proof and lambda calculus (Mar 26) [PDF]
  5. Inductive proof and lambda calculus (Mar 28) [PDF]
  6. Lambda calculus (Apr 2) [PDF]
  7. Lambda calculus (Apr 4) [PDF]
  8. Simply typed lambda calculus (Apr 9) [PDF]
  9. Type safety (Apr 11) [PDF]
  10. Mutable references (Apr 16) [PDF]
  11. Evaluation contexts (Apr 18) [PDF]
  12. Progress (Apr 30) [PDF]
  13. Abstract machine (May 2) [PDF]
  14. Subtyping (May 7) [PDF]
  15. Recursive types (May 9) [PDF]
  16. Recursive types (May 14) [PDF]
  17. System F (May 16) [PDF]
  18. Polymorphism (May 21) [PDF]
  19. Polymorphism (May 28) [PDF]
  20. Polymorphism (May 30) [PDF]
  21. Type reconstruction (June 4) [PDF]
  22. Call-by-need abstract machine (June 11) [PDF]


Date    Lecture   Reading/Slide/Video   

Mar 5   Overview
Introduction to functional programming (I)
Slide [PPT]
Slide [PPT]
CS Chapter 1 [PDF]
Video (23:24s, 387MB) [AVI]
   
Mar 7   Introduction to functional programming (II) Video (76:01s, 1.0GB) [AVI]

Mar 12   Introduction to functional programming (III)
Video (72:11s, 518MB) [AVI]
   
Mar 14   Inductive definition CS Chapter 2 (Section 2.1, 2.2, 2.3) [PDF]
Video 1 (54:08s, 752MB) [AVI]
Video 2 (14:09s, 249MB) [AVI]
Video 3 (20:05s, 317MB) [AVI]

Mar 19   Inductive proofs CS Chapter 2 (Section 2.4, 2.5)
Video 1 (54:57s, 789MB) [AVI]
Video 2 (35:15s, 420MB) [AVI]
   
Mar 21   Lambda calculus (I) CS Chapter 3 [PDF]
Video 1 (44:32s, 571MB) [AVI]
Video 2 (41:08s, 582MB) [AVI]

Mar 26   Lambda calculus (II) Video 1 (26:34s, 345MB) [AVI]
Video 2 (41:55s, 499MB) [AVI]
   
Mar 28   Lambda calculus (III) Video 1 (28:05m, 351MB) [AVI]
Video 2 (46:25m, 571MB) [AVI]

Apr 2   De Bruijn indexes Video 1 (18:09m, 204MB) [AVI]
Video 2 (67:28m, 908MB) [AVI]
Apr 4   Simply-typed lambda calculus CS Chapter 4 [PDF]
Video (78:22m, 1.1GB) [AVI]

Apr 9   Type safety Video 1 (50:12m, 644MB) [AVI]
Video 2 (26:26m, 323MB) [AVI]
Video 3 (15:00m, 166MB) [AVI]
Apr 11   Extension to the simply-typed lambda calculus     CS Chapter 5 [PDF]
Video 1 (53:44m, 618MB) [AVI]
Video 2 (36:19m, 399MB) [AVI]

Apr 16   Mutable references CS Chapter 6 [PDF]
Video 1 (37:54m, 403MB) [AVI]
Video 2 (18:25m, 268MB) [AVI]
Video 3 (22:32m, 323MB) [AVI]
Apr 18   Evaluation contexts CS Chapter 8 [PDF]
Video 1 (60:20m, 698MB) [AVI]

Midterm (No class)

Apr 30   Abstract machine C and environments CS Chapter 9 [PDF]
Video 1 (14:31m, 205MB) [AVI]
Video 2 (37:09m, 505MB) [AVI]
Video 3 (28:05m, 380MB) [AVI]
May 2   Closures and Abstract machine E     Video 1 (42:10m, 581MB) [AVI]
Video 2 (33:12m, 455MB) [AVI]

May 7   Subtyping CS Chapter 11 [PDF]
Video (63:52m, 813MB) [AVI]
May 9   Recursive types CS Chapter 12 [PDF]
Video (71:45m, 1.0GB) [AVI]

May 14   System F (I) CS Chapter 13 [PDF]
Video (71:34m, 1.0GB) [AVI] (음질이 좋지 않습니다 - 양해 바랍니다. 편집 필요)
May 16   System F (II) Video (41:10m, 543MB) [AVI]
Video (19:10m, 274MB) [AVI]
학생 발표 (김봉준) [PPTX]

May 21   System F (III), Polymorphism (I) Video (37:21m, 567MB) [AVI]
Video (41:20m, 678MB) [AVI]
학생 발표 (허선영) [PPTX]
학생 발표 (정진웅, 예비발표) [PPTX]
May 23 해맞이 한마당 Sunrise Festival (No class)

May 28   Polymorphism (II) Video (67:58m, 1.2GB) [AVI]
학생 발표 (이해진) [PPTX]
May 30   Type reconstruction (I) Video (72:32m, 1.2GB) [AVI]
학생 발표 (김형준) [PPTX]

June 4   Type reconstruction (II) Video (66:15m, 1.2GB) [AVI]
학생 발표 (김민철) [PPTX]
June 6   현충일 Memorial day (No class)

June 11   Logic in Computer Science Slide [PPT]
June 13   Review Slide [PPT]

Final (No class)


[ Home | Schedule | Assignments | Software | Resources ] gla@postech Sungwoo Park