COSE212-23F - SAL@KU

Programming Languages, 2023 Fall

Course Information

References

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
- 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
- Operational and denotational semantics: lec18.pdf
Course Review: lec19.pdf

Programming Assignment

Software Analysis Lab. @ Korea University