====== 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 ====

  * Richard W. Hamming, [[http://homepages.inf.ed.ac.uk/wadler/papers/firbush/hamming.pdf| You and Your Research]]
  * Donald Knuth, [[http://tex.loria.fr/typographie/mathwriting.pdf | Technical Writing]]
  * Randy Pausch, [[http://www.cmu.edu/uls/journeys/randy-pausch/index.html| The Last Lecture: Really Achieving Your Childhood Dreams]]