CS520-Theory-of-programming-language

This repository is texification of lecture note of CS520, Theory of Programming Language, 2019 Fall in KAIST.

For original lecture note, please see graduatePL19

Table of contents

Lecture 2 : Predicate Logic (Ch1)

Lecture 3 : Simple Imperative Language (Ch2)

Lecture 4 : Program Specification and their Proof (Ch3)

Lecture 5 : Failure, Input-Output, and Continuations (Ch5)

Lecture 6 : Transition Semantics (Ch6)

Lecture 7 : An Introduction to Category Theory (Tennent Ch8)

Lecture 8 : Recursively Defined Domains (Tennent Ch10)

Lecture 9 : Lambda Calculus (Ch10)

Lecture 10 : An Eager Functional Language (Ch11)

Lecture 11 : Continuation in a Functional Language (Ch12)

I do not own any rights for this contents.