User Tools

Site Tools


cc18:lecture_24

Differences

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

Link to this comparison view

cc18:lecture_24 [2018/03/23 18:56] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 24 ======
 +Lecture 24   {{ :​cc18:​lectures:​lect24:​main.pdf |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 [[https://​en.wikipedia.org/​wiki/​Compilers:​_Principles,​_Techniques,​_and_Tools|Dragon book]] (chapter 6.5) if you have access to it.
cc18/lecture_24.txt ยท Last modified: 2018/03/23 18:56 by hossein