User Tools

Site Tools


plc16:lecture_25

Differences

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

Link to this comparison view

plc16:lecture_25 [2016/11/09 12:27] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 25 ======
 +Lecture 25 {{ :​plc16:​lect25:​main.pdf | Slides}}
 +
 +In this lecture we discussed how Hindley-Milner type system restricts the type system of Typed μScheme.
 +
 +=== Readings === 
 +  * PL: BPC Chapter 7
  
plc16/lecture_25.txt · Last modified: 2016/11/09 12:27 by hossein