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