Programming
Languages
Etc.
Reading
Group

What? PLERG is a bi-montly discussion of selected papers from the programming languages research community.

Who? The reading group is open to everyone interested in programming languages. We'll assume some knowledge of the fundamentals of functional programming, however. All students, interns, postdocs, faculty, and visitors are welcome to attend.

When/Where? We'll meet every other Wednesday from 10:30 to 12:00ish over the video conference system.

The mailing list for the group is named plerg; email Scott or Ezgi to join. There is also a short outdated document describing the format of the discussions. Recently, we are experimenting with a volunteer oriented model in which a rotating discussion leader gives a short overview of the paper and initiates the discussion with questions and comments.

Next Reading

Recent Readings

  • 30 July 2014 - John Reynolds Types, Abstraction, and Parametric Polymorphism, IFIP Congress 1983 (pdf, 2-up pdf).
  • 13 June 2014 - Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine Structuring the Verification of Heap-Manipulating Programs, POPL 2010 (pdf, 2-up pdf).
  • 21 May 2014 - Thorsten Altenkirch, Conor McBride, James McKinna, Why Dependent Types Matter, 2005 (precursor to a POPL 2006 invited talk by McKinna) (pdf, 2-up pdf). Examples from the paper rewritten in Idris available here.
  • 7 May 2014 - Rowan Davies and Frank Pfenning, A Judgmental Reconstruction of Modal Logic, Mathematical. Structures in Comp. Sci. 2001. ( pdf)
  • Readings from 2012

    Ideas for Topics

    • Functional reactive programming (FRP)
    • Bidirectional typechecking
    • Coinduction
    • Continuations