This is an old revision of the document!
Paper Suggestions
for the Programming Languages Reading Group.
From PLMW 2014
- John C. Reynolds, Types, Abstraction and Parametric Polymorphism
- John C. Mitchell, Representation independence and data abstraction
- Philip Wadler, Theorems for free!
- Andrew J. Kennedy, Relational parametricity and units of measure
Metaresearch
- Richard W. Hamming, You and Your Research
- Donald Knuth, Technical Writing
- Randy Pausch, The Last Lecture: Really Achieving Your Childhood Dreams