User Tools

Site Tools


cc17:lecture_27

Differences

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

Link to this comparison view

cc17:lecture_27 [2017/04/05 13:59] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 27 ======
 +Lecture 27   {{ :​cc17:​lectures:​lect27:​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://​en.wikipedia.org/​wiki/​Compilers:​_Principles,​_Techniques,​_and_Tools|Dragon book]] (chapter 6.5) if you have access to it.
cc17/lecture_27.txt ยท Last modified: 2017/04/05 13:59 by hossein