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
  • Interpreters from the paper, in Haskell: ZIP
  • Hugs, an implementation of Haskell
  • A tutorial on Monads in Haskell
• 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
• 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