Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
plrg [2013/11/11 17:11] – fbanados | plrg [2014/01/23 13:53] – fbanados | ||
---|---|---|---|
Line 4: | Line 4: | ||
{{http:// | {{http:// | ||
- | ===== Current Members | + | ===== Inaugural Meeting |
+ | November 26th marks the inaugural meeting of the Programming Languages Reading Group. | ||
+ | |||
+ | The meeting will be located at the **3rd floor meeting room** of the Computer Science Department, CEC Building, Beaucheff Campus of the University of Chile. | ||
+ | |||
+ | If you plan to attend this meeting, we ask you to first read the paper appointed for that day in section [[plrg# | ||
+ | |||
+ | During the meeting we will also collect suggestions for future papers and project an internal communication channel (most likely a mailing list). | ||
===== Meetings ===== | ===== Meetings ===== | ||
- | The PL Reading Group meets every Tuesday at 13PM CLT, from November 26, 2013 and on. | + | The PL Reading Group meets every Tuesday at 13PM CLT, starting |
- | ===== Meeting | + | |
+ | |||
+ | ===== Meeting | ||
* **Nov 26th, 2013.** Guy Steele, [[http:// | * **Nov 26th, 2013.** Guy Steele, [[http:// | ||
+ | * **Dec 3rd, 2013. ** William Cook, [[http:// | ||
+ | |||
+ | * **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 | ||
===== Paper suggestions for future meetings ===== | ===== Paper suggestions for future meetings ===== | ||
Line 19: | Line 33: | ||
* P.J. Landin, [[http:// | * P.J. Landin, [[http:// | ||
- | * William Cook, [[http://doi.acm.org/10.1145/1640089.1640133|On understanding data abstraction, | + | * John C. Reynolds, [[ftp://ftp.cs.cmu.edu/user/ |
+ | |||
+ | ===== 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/ | ||
+ | |||
+ | - Connect to the [[http:// | ||
+ | - 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:// | ||
+ | ===== Google Group ===== | ||
+ | < | ||
+ | <iframe id=" | ||
+ | src=" | ||
+ | scrolling=" | ||
+ | frameborder=" | ||
+ | width=" | ||
+ | height=" | ||
+ | </ | ||
+ | <script type=" | ||
+ | document.getElementById(' | ||
+ | ' | ||
+ | + '& | ||
+ | + '& | ||
+ | </ | ||
+ | </ |