• Instructor: Hakjoo Oh
• Lecture: 15:30-16:45 on Mondays and Wednesdays
• Syllabus

• Essentials of Programming Languages

  

• Notes on Programming Languages (in Korean)

• Course Overview: lec0.pdf
• (Part 1) Preliminaries
  • Inductive Definitions: lec1.pdf, lec2.pdf
  • Functional Programming: lec3.pdf, lec4.pdf
• (Part 2) Basic Concepts
  • Expressions: lec5.pdf
  • Procedures: lec6.pdf
  • Lexical scoping: lec7.pdf
  • States: lec8.pdf
  • Records, Pointers, and GC: lec9.pdf
• (Part 3) Advanced Concepts
  • Static Type System: lec10.pdf, lec11.pdf, lec12.pdf
  • Automatic Type Inference: lec13.pdf, lec14.pdf, lec15.pdf
  • Polymorphic Type System: lec16.pdf
  • Lambda Calculus: lec17.pdf
• Review: lec18.pdf, intro to PL research

System for programming assignments

• Homework 1 (Functional Programming 1) hw1.pdf (due 09/30 24:00)
• Homework 2 (Functional Programming 2) hw2.pdf (due 10/14 24:00)
• Homework 3 (Interpreter for Functional Language) hw3.pdf (due 10/28 24:00)
• Homework 4 (Interpreter for Imperative Language) hw4.pdf (due 11/11 24:00)
• Homework 5 (Static Type System) hw5.pdf (due 12/16 24:00)

• Final Exam (2017)
• Final Exam (2016)
• Final Exam (2015)