Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Last revisionBoth sides next revision
plrg [2013/11/14 02:00] – fbanadosplrg [2014/02/06 15:45] – fbanados
Line 4: Line 4:
  
 {{http://farm3.staticflickr.com/2477/4005631298_50241b41ab.jpg|This is how cute we look when we meet.}}  {{http://farm3.staticflickr.com/2477/4005631298_50241b41ab.jpg|This is how cute we look when we meet.}} 
-===== Inaugural Meeting ===== 
- 
-Reference to [[plrg#Meeting_papers | papers]] 
- 
 ===== 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 November 26, 2013, excepting holidays. 
  
-November 26th meeting will be located at the 3rd floor meeting room of the Computer Science Department, CEC Building, Beaucheff Campus of the University of Chile. 
 ===== Meeting Papers ===== ===== 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   * **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 ===== ===== Paper suggestions for future meetings =====
Line 23: Line 24:
   * P.J. Landin, [[http://doi.acm.org/10.1145/365230.365257|The next 700 programming languages]]   * P.J. Landin, [[http://doi.acm.org/10.1145/365230.365257|The next 700 programming languages]]
  
-  * William Cook, [[http://doi.acm.org/10.1145/1640089.1640133|On understanding data abstraction, revisited]]+  * John C. Reynolds, [[ftp://ftp.cs.cmu.edu/user/jcr/typesabpara.pdf|Types, abstraction and parametrical polymorphism]] 
 + 
 +===== 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 =====
  
 +<html>
 +<iframe id="forum_embed"
 +  src="javascript:void(0)"
 +  scrolling="no"
 +  frameborder="0"
 +  width="900"
 +  height="700">
 +</iframe>
 +<script type="text/javascript">
 +  document.getElementById('forum_embed').src =
 +     'https://groups.google.com/forum/embed/?place=forum/plrg-uchile'
 +     + '&showsearch=true&showpopout=true&showtabs=false'
 +     + '&parenturl=' + encodeURIComponent(window.location.href);
 +</script> 
 +</html>