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