Programming Languages Student Reading Group

The PL Reading Group provides a space for discussion and analysis of conference and journal papers related to Programming Languages practice and theory, serving also as a space for students to freely practice their English talking and reading skills. It is open to any university student with an interest in the field.

The PL Reading Group meets every Tuesday at 13PM CLT, starting November 26, 2013, excepting holidays.

• Nov 26th, 2013. Guy Steele, Growing a language
  This paper is a transcript of a talk given at OOPSLA '98. A video (with some glitches) is available at http://www.youtube.com/watch?v=_ahvzDzKdB0

• Dec 3rd, 2013. William Cook, On understanding data abstraction, revisited

• Dec 10th, 2013. Turing Award Lectures week Both Ken Thompson, Reflections on trusting trust and Alan Perlis, The Synthesis of Algorithmic Systems

• Dec 18th, 2013. Gabriel Schrerer and Didier Rémy, GADTs meet subtyping

• P.J. Landin, The next 700 programming languages

• John C. Reynolds, Types, abstraction and parametrical polymorphism

More suggestions in the suggestions page.

You can directly access the ACM Digital Library, Springer Link and other scholarly providers from the University wi-fi networks (DCC-AIR, in-cec…). If you want to access/download the papers outside the University Network, you may follow one of the following procedures:

1. Connect to the CEC VPN (es).
2. Create a SOCKS proxy tunnel on ssh either to the dichato or anakena servers and configure your internet browser to direct traffic through it.