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.


Date    Lecture   Reading/Slide/Video   

Mar 4   Overview
Introduction to functional programming (I)
Slide [PPT]
Slide [PPT]
Chapters 1 and 2 of OCaml manual
CS Chapter 1 [PDF] (written for SML)
 
Mar 6   Introduction to functional programming (II) Video (792MB 01:15:51) [MP4]

Mar 11   Introduction to functional programming (III)
Video (600MB 01:09:20) [MP4]
 
Mar 13   Inductive definition CS Chapter 2 (Section 2.1, 2.2, 2.3) [PDF]
Video (847MB 01:10:16) [MP4]
Video 1 (2012) (54:08s, 752MB) [AVI]
Video 2 (2012) (14:09s, 249MB) [AVI]
Video 3 (2012) (20:05s, 317MB) [AVI]

Mar 18   Inductive proofs CS Chapter 2 (Section 2.4, 2.5)
Video (904 MB 01:07:29) [MP4]
Video 1 (2012) (54:57s, 789MB) [AVI]
Video 2 (2012) (35:15s, 420MB) [AVI]
 
Mar 20   Lambda calculus (I) CS Chapter 3 [PDF]
Video (01:09:22, 859 MB) [MP4]
Video 1 (2012) (44:32s, 571MB) [AVI]
Video 2 (2012) (41:08s, 582MB) [AVI]

Mar 25   Lambda calculus (II) Video (01:10:36, 877 MB) [MP4]
Video 1 (2012) (26:34s, 345MB) [AVI]
Video 2 (2012) (41:55s, 499MB) [AVI]
Mar 27   Lambda calculus (III) Video (01:10:32, 874 MB) [MP4]
Video 1 (2012) (28:05m, 351MB) [AVI]
Video 2 (2012) (46:25m, 571MB) [AVI]

Apr 1   De Bruijn indexes Video (01:08:54, 853 MB) [MP4]
Video 1 (2012) (18:09m, 204MB) [AVI]
Video 2 (2012) (67:28m, 908MB) [AVI]
Apr 3   Simply-typed lambda calculus CS Chapter 4 [PDF]
Video (00:41:00, 507 MB) [MP4]
Video (2012) (78:22m, 1.1GB) [AVI]

Apr 8   No class - 휴강
Apr 10   Type safety Video (01:10:30, 873 MB) [MP4]
Video 1 (2012) (50:12m, 644MB) [AVI]
Video 2 (2012) (26:26m, 323MB) [AVI]
Video 3 (2012) (15:00m, 166MB) [AVI]

Apr 15   Extension to the simply-typed lambda calculus     CS Chapter 5 [PDF]
Video (01:13:02, 904 MB) [MP4]
Video 1 (2012) (53:44m, 618MB) [AVI]
Video 2 (2012) (36:19m, 399MB) [AVI]
Apr 17   Evaluation contexts CS Chapter 8 [PDF]
Video (00:51:59, 643 MB) [MP4]
Video 1 (2012) (60:20m, 698MB) [AVI]

Apr 22   보강 Abstract machine C and environments CS Chapter 9 [PDF]
Video (01:00:29, 749 MB) [MP4]
Video 1 (2012) (14:31m, 205MB) [AVI]
Video 2 (2012) (37:09m, 505MB) [AVI]
Video 3 (2012) (28:05m, 380MB) [AVI]
Apr 24   No class - Midterm 중간고사

Apr 29   Closures and Abstract machine E     Video (01:10:46, 876MB) [MP4]
Video 1 (2012) (42:10m, 581MB) [AVI]
Video 2 (2012) (33:12m, 455MB) [AVI]
May 1   Mutable references CS Chapter 6 [PDF]
Video 1 (37:54m, 403MB) [AVI]
Video 2 (18:25m, 268MB) [AVI]
Video 3 (22:32m, 323MB) [AVI]

May 6   No class - 석가탄신일
May 8   Subtyping CS Chapter 11 [PDF]
Video (00:28:50, 357MB) [MP4]
Video (2012) (63:52m, 813MB) [AVI]

May 13   (휴강)
May 15   Recursive types CS Chapter 12 [PDF]
Video (01:13:53, 915MB) [MP4]
Video (2012) (71:45m, 1.0GB) [AVI]

May 20   System F (I) CS Chapter 13 [PDF]
Video (01:10:29, 872MB) [MP4]
May 22   System F (II) Video (00:42:47, 529MB) [MP4]
Video (2012) (41:10m, 543MB) [AVI]
Video (2012) (19:10m, 274MB) [AVI]

May 27   System F (III) Video (01:02:00, 722MB) [MP4]
Video (2012) (37:21m, 567MB) [AVI]
May 29   Polymorphism (I) Video (00:48:41, 603MB) [MP4]
Video (2012) (41:20m, 678MB) [AVI]

June 3   Polymorphism (II) Video (00:54:26, MB) [MP4]
Video (2012) (67:58m, 1.2GB) [AVI]
June 5   Type reconstruction (I) Video (2012) (72:32m, 1.2GB) [AVI]

June 10   Type reconstruction (II) Video (2012) (66:15m, 1.2GB) [AVI]
June 12   Review

Final (No class)


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