About
Members
Research
Publications
Talks
Courses
Trips
Gallery
Programming Language Theory, 2016 Spring
Course Information
Instructor:
Hakjoo Oh
Lecture: 9:00-11:30 on Mondays
References
Software Foundations
Semantics of Programming Languages
Lecture Notes on Denotional Semantics
Slides
Induction
Hoare Logic
Type Safety of STLC
Software Analysis Lab. @ Korea University