Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
plrg:suggestions [2014/02/06 16:54] – 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]]
Line 22: Line 24:
 Existentialist reading (suggested by Derek Dreyer) Existentialist reading (suggested by Derek Dreyer)
  
-  * +  * Pitts and Stark, [[http://homepages.inf.ed.ac.uk/stark/operfl.pdf| Operational Reasoning for Functions with Local State]] 
 +  * Appel and McAllester, [[http://dx.doi.org/10.1145/504709.504712 | An indexed model of recursive types for foundational proof-carrying code]] 
 +  * Ahmed et al, [[http://dx.doi.org/10.1145/1480881.1480925 | State-dependent representation independence]] 
  
 ==== Metaresearch ==== ==== Metaresearch ====