User Tools

Site Tools


plc16:lecture_17

Differences

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

Link to this comparison view

plc16:lecture_17 [2016/10/14 16:55] (current)
hossein created
Line 1: Line 1:
 +====== Lecture 17 ======
 +Lecture 17 {{ :​plc16:​lect17:​main.pdf |Slides}}
 +
 +This lecture is about polymorphic type checking for μScheme.
 +
 +=== Readings === 
 +  * PL: BPC Chapter 6
 +
  
plc16/lecture_17.txt · Last modified: 2016/10/14 16:55 by hossein