Programming Languages, 2022 Fall

Course Information

• Instructor: Hakjoo Oh
• TAs: Minseok Jeon, Seokhyun Lee
• Lecture: 09:00-11:45 on Tuesdays and Thursdays (8 weeks)
• Syllabus

References

• 프로그래밍 언어의 원리

References

• Essentials of Programming Languages
• Notes on Programming Languages (in Korean)

Slides

• 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
  • Introduction to program analysis: lec10a.pdf
  • 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
• Course Review: lec18.pdf

Homework

• TryML: System for programming assignments
• How to use TryML

• Homework 1 (Functional Programming 1) hw1.pdf
• Homework 2 (Functional Programming 2) hw2.pdf
• Homework 3 (Interpreter for Functional Language) hw3.pdf
• Homework 4 (Interpreter for Imperative Language) hw4.pdf
• Homework 5 (Static Type System) hw5.pdf