User Tools

Site Tools


Lecture 25

Lecture 25 Slides (More Subtyping Rules)

This lecture continues the subtyping topic with a discussion on function subtyping and how subtyping works for classes in Java.


  • 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_25.txt · Last modified: 2018/03/26 18:02 by hossein