COSE212-25F - SAL@KU

Programming Languages, 2025 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
(Part 3) Advanced Concepts
- Static Type System: lec10.pdf, lec11.pdf, lec11-proofs.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

Programming Assignments

Programming Environments

Prior Exams

Software Analysis Lab. @ Korea University