User Tools

Site Tools


cc17:lecture_26

This is an old revision of the document!


Lecture 26

Lecture 26 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) if you have access to it.
cc17/lecture_26.1491233697.txt.gz · Last modified: 2017/04/03 11:34 by hossein