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 3   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 5   Introduction to functional programming (II)

Mar 10   Introduction to functional programming (III)
 
Mar 12   Inductive definition CS Chapter 2 (Section 2.1, 2.2, 2.3) [PDF]

Mar 17   Inductive proofs CS Chapter 2 (Section 2.4, 2.5)
 
Mar 19   Lambda calculus (I) CS Chapter 3 [PDF]

Mar 24   Lambda calculus (II)
Mar 26   Lambda calculus (III)

Mar 31   De Bruijn indexes
Apr 2   Simply-typed lambda calculus CS Chapter 4 [PDF]

Apr 7   Type safety
Apr 9   Extension to the simply-typed lambda calculus     CS Chapter 5 [PDF]

Apr 14   Evaluation contexts CS Chapter 8 [PDF]
Apr 16   Abstract machine C

Apr 21, 23   No class - Midterm 중간고사

Apr 28   Evaluation judgments and closures     CS Chapter 9 [PDF]
Apr 30   Abstract machine E    

May 5   No class - 어린이날
May 7   Mutable references CS Chapter 6 [PDF]

May 12   Subtyping CS Chapter 11 [PDF]
May 14   No class - 해맞이 한마당

May 19   Recursive types CS Chapter 12 [PDF]
May 21   System F CS Chapter 13 [PDF]

May 26   Polymorphism (I)
May 28   Polymorphism (II)

June 2   휴강
보강일자 : 6월 2일, 저녁 9:30pm-10:45pm
June 4   Type reconstruction (I)
Type reconstruction (II)
온라인 강의 동영상
Video (72:32m, 1.2GB) [AVI]
Video (66:15m, 1.2GB) [AVI]
슬라이드 [PPT]

June 9   Introduction to computational logic
June 11   Review

Final (No class)


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