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