User Tools

Site Tools


cc18:lecture_24

Lecture 24

Lecture 24 Slides (Subtyping)

This lecture motivates subtyping and gives some type checking rules for it.

Readings

  • Tiger Book Chapter 5.2
  • Note: Tiger book is not particularly a good reference for type checking. You are encouradged to have a look at the Dragon book (chapter 6.5) if you have access to it.
cc18/lecture_24.txt · Last modified: 2018/03/23 18:56 by hossein