User Tools

Site Tools



This shows you the differences between two versions of the page.

Link to this comparison view

cc18:lecture_25 [2018/03/26 18:02] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 25 ======
 +Lecture 25   {{ :​cc18:​lectures:​lect25:​main.pdf |Slides}}
 +(More Subtyping Rules)
 +This lecture continues the subtyping topic with a discussion on function subtyping and how subtyping works for classes in Java.
 +=== 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 [[https://​​wiki/​Compilers:​_Principles,​_Techniques,​_and_Tools|Dragon book]] (chapter 6.5) if you have access to it.
cc18/lecture_25.txt ยท Last modified: 2018/03/26 18:02 by hossein