Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Last revisionBoth sides next revision
plrg:suggestions [2014/02/06 16:54] – fbanadosplrg:suggestions [2014/02/06 16:57] – fbanados
Line 22: Line 22:
 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 ====