====== 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. {{http://farm3.staticflickr.com/2477/4005631298_50241b41ab.jpg|This is how cute we look when we meet.}} ===== Meetings ===== The PL Reading Group meets every Tuesday at 13PM CLT, starting November 26, 2013, excepting holidays. ===== Meeting Papers ===== * **Nov 26th, 2013.** Guy Steele, [[http://link.springer.com/article/10.1023/A%3A1010085415024|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, [[http://doi.acm.org/10.1145/1640089.1640133|On understanding data abstraction, revisited]] * **Dec 10th, 2013. ** //Turing Award Lectures week// Both Ken Thompson, [[http://dx.doi.org/10.1145/1283920.1283940|Reflections on trusting trust]] and Alan Perlis, [[http://dx.doi.org/10.1145/1283920.1283921|The Synthesis of Algorithmic Systems]] * **Dec 18th, 2013. ** Gabriel Schrerer and Didier Rémy, [[http://arxiv.org/abs/1301.2903|GADTs meet subtyping]] ===== Paper suggestions for future meetings ===== * P.J. Landin, [[http://doi.acm.org/10.1145/365230.365257|The next 700 programming languages]] * John C. Reynolds, [[ftp://ftp.cs.cmu.edu/user/jcr/typesabpara.pdf|Types, abstraction and parametrical polymorphism]] More suggestions in the [[plrg:suggestions|suggestions page]]. ===== Accessing papers from outside the University Network ===== 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: - Connect to the [[http://www.cec.uchile.cl/vpn/|CEC VPN (es)]]. - Create a SOCKS proxy tunnel on ssh either to the dichato or anakena servers and configure your internet browser to direct traffic through it. {{http://imgs.xkcd.com/comics/lisp_cycles.png|(An unmatched left parenthesis creates an unresolved tension that will stay with you all day.}} ===== Google Group =====