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