• 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, code
  • Procedures: lec6.pdf
  • Lexical scoping: lec7.pdf
  • States: lec8.pdf
  • Records, Pointers, and garbage collection: 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
• Course Review: lec17.pdf, lec18.pdf
• Applications of PL: VeriSmart

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 23:59)
• Homework 3 (Interpreter for Functional Language) hw3.pdf (due 10/31 23:59)
• Homework 4 (Interpreter for Imperative Language) hw4.pdf (due 11/25 23:59)
• Homework 5 (Static Type System) hw5.pdf (due 12/10 23:59)

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