Paper Suggestions

for the Programming Languages Reading Group.

Starter papers for:

• Separation Logic
• Linear Logic
• Kripke Logical Relations

Parametricity (suggested by Derek Dreyer)

• John C. Reynolds, Types, Abstraction and Parametric Polymorphism
• John C. Mitchell, Representation independence and data abstraction
• Philip Wadler, Theorems for free!

Universalist reading (suggested by Derek Dreyer)

• Andrew J. Kennedy, Relational parametricity and units of measure
• Johann and Voigtländer, Free theorems in the presence of seq
• Robert Atkey, Relational parametricity for higher kinds

Existentialist reading (suggested by Derek Dreyer)

• Pitts and Stark, Operational Reasoning for Functions with Local State
• Appel and McAllester, An indexed model of recursive types for foundational proof-carrying code
• Ahmed et al, State-dependent representation independence

• Richard W. Hamming, You and Your Research
• Donald Knuth, Technical Writing
• Randy Pausch, The Last Lecture: Really Achieving Your Childhood Dreams