PL Reading Group
From FSL
Welcome to the PL Reading Group homepage. We will meet on Tuesdays from 1:00 - 2:00 in 2102 Siebel Center.
[edit] Papers for Spring 2007
- 2/20/2007: Practical Predicate Dispatch, Todd Millstein, from OOPSLA 2004
Local PDF copy
- 2/27/2007: The Expression Problem Revisited, Mads Torgersen, from ECOOP 2004
Local PDF copy
- 3/6/2007: Open Data Types and Open Functions, Andres Loh and Ralf Hinze, from PPDP 2006
Local PDF copy
- 3/27/2007: Cayenne -- a language with dependent types, Lennart Augustsson, tech report version of paper from ICFP 1998
Local PDF copy
- 4/10/2007: Osprey: A Practical Type System for Validating Dimensional Unit Correctness of C Programs, Lingxiao Jiang and Zhendong Su, from ICSE 2006
Local PDF copy
- 4/24/2007: Better Extensibility through Modular Syntax, Robert Grimm, from PLDI 2006
Local PDF copy
[edit] Papers for Fall 2006
- 9/29/2006: The next 700 programming languages, P. J. Landin, from Communications of the ACM, Volume 9, Issue 3 (March 1966).
Local PDF copy
- 10/6/2006: Aspect-Oriented Programming, Gregor Kiczales, John Irwin, John Lamping, Jean-Marc Loingtier, Christina Videira Lopes, Chris Maeda, and Anurag Mendhekar, from ECOOP 1997.
Local PDF copy
- 10/6/2006: Aspect-Oriented Programming is Quantification and Obliviousness, Robert E. Filman and Daniel P. Friedman, from Workshop on Advanced Separation of Concerns at OOPSLA 2000.
Local PDF copy
- 10/13/2006: JunGL: a Scripting Language for Refactoring, Mathieu Verbaere, Ran Ettinger, and Ooge de Moor, from ICSE 2006.
Local PDF copy
- 10/20/2006: Attached Types and Their Application to Three Open Problems of Object-Oriented Programming, Bertrand Meyer, from ECOOP 2005.
Local PDF copy
- 11/3/2006: The essence of functional programming, Philip Wadler, from POPL 1992.
Local PDF copy
- 11/17/2006: Testing Monadic Code with QuickCheck, Koen Claessen and John Hughes, from Haskell Workshop 2002.
Local PDF copy
- For background, QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs, Koen Claessen and John Hughes, from ICFP 2000.
Local PDF copy
- The QuickCheck project homepage
- For background, QuickCheck: A Lightweight Tool for Random Testing of Haskell Programs, Koen Claessen and John Hughes, from ICFP 2000.
- 12/1/2006: Behavioral Contracts and Behavioral Subtyping, Robert Bruce Findler, Mario Latendresse and Matthias Felleisen, from FSE 2001.
Local PDF copy
- 12/8/2006: Design by Contract with JML, Gary T. Leavens and Yoonsik Cheon, technical report (I think).
Local PDF copy


