This is the webpage for our Fall 2005 PL reading group.
Purpose:
This reading group is devoted to researching whatever we think is interesting
in PL research, past and present.
Format:
Our meetings are very informal: we simply discuss whatever topics the
reading (or programming) assignment leads us to. Our only requirements
are:
Papers:
| Date (to be) Discussed | Author | Title |
| Sept 14, 2005 | John McCarthy | Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I |
| Oct 5, 2005 | Alan C. Kay | The Early History of Smalltalk |
| Oct 12, 2005 | Ana Lucia de Moura, Roberto Ierusalimschy |
Revisiting Coroutines |
| Oct 19, 2005 | PL Reading Group | Special meeting to understand Haskell (esp. syntax) |
| Oct 26, 2005 | Simon Peyton Jones | Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell |
| Philip Wadler | The essence of functional programming | |
| Eugenio Moggi | Computational lambda-calculus and monads | |
| Nov 2, 2005 | Matthias Felleisen | On the Expressive Power of Programming Languages |
| John Mitchell | On Abstraction and the Expressive Power of Programming Languages (Yes, this is a .dvi.Z, it's not my fault.) | |
| Nov 16, 2005 | PL Reading Group | Special meeting to understand Smalltalk (esp. syntax) |
| Nov 30, 2005 | Claus Brabrand and Michael Schwartzbach | Growing Languages with Metamorphic Syntax Macros |
| Dec 7, 2005 | Michael Ernst, Craig Kaplan, and Craig Chambers | Predicate Dispatching: A Unified Theory of Dispatch |
possible future papers |
||
| TBD | Guy Steele, Gerald Sussman |
The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two) (Caution: big download) |
| TBD | Philip Wadler | Theorems for free! |