Lecture 27 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.