Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
plrg:suggestions [2014/02/06 16:57] – fbanadosplrg:suggestions [2014/02/06 16:58] (current) – fbanados
Line 9: Line 9:
  
 ===== From PLMW 2014 ===== ===== From PLMW 2014 =====
 +
 +Parametricity (suggested by Derek Dreyer)
  
   * John C. Reynolds, [[ftp://ftp.cs.cmu.edu/user/jcr/typesabpara.pdf | Types, Abstraction and Parametric Polymorphism]]   * John C. Reynolds, [[ftp://ftp.cs.cmu.edu/user/jcr/typesabpara.pdf | Types, Abstraction and Parametric Polymorphism]]