COSE212-26F - SAL@KU

Programming Languages, 2026 Fall

Course Information

Book

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 fixpoints
- Lexical scoping: lec7.pdf
- States: lec8.pdf
- Records, Pointers, and garbage collection: lec9.pdf
- Exceptions: lec10.pdf
- Classes: lec11.pdf
(Part 3) Advanced Concepts
- Static Type System: lec11.pdf, lec12.pdf, lec13.pdf, lec14.pdf
- Automatic Type Inference: lec15.pdf, lec16.pdf, lec17.pdf
- Polymorphic Type System: lec18.pdf
- Typed Object-Oriended Language: lec19.pdf
- Lambda Calculus: lec20.pdf
Course Review:

Programming Exercises

Programming Environments

Software Analysis Lab. @ Korea University