Differences

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

--- plrg:suggestions [2014/02/06 19:58] – created fbanados
+++ plrg:suggestions [2014/02/06 20:58] (current) – fbanados
@@ Line 1: / Line 1: @@
 ====== Paper Suggestions ======
 for the Programming Languages Reading Group.
+Starter papers for:
+  * Separation Logic
+  * Linear Logic
+  * Kripke Logical Relations
+  *
 ===== 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. Mitchell, [[http://dx.doi.org/10.1145/512644.512669 | Representation independence and data abstraction]]
   * Philip Wadler, [[http://dx.doi.org/10.1145/99370.99404 | Theorems for free!]]
+Universalist reading (suggested by Derek Dreyer)
   * Andrew J. Kennedy, [[http://dx.doi.org/10.1145/263699.263761 | Relational parametricity and units of measure]]
-  *
+  * Johann and Voigtländer, [[http://dx.doi.org/10.1145/964001.964010 | Free theorems in the presence of seq]]
+  * Robert Atkey, [[http://strathprints.strath.ac.uk/40756/ | Relational parametricity for higher kinds]]
+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 ====