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:16] – 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 ===== 
-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#Meeting_papers | Meeting Papers]]. During the meeting we will also collect suggestions for future papers and project an internal communication channel (most likely a mailing list). 
- 
 ===== Meetings ===== ===== Meetings =====
  
Line 20: Line 13:
   * **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 26: 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 ===== ===== Accessing papers from outside the University Network =====
  
-You can directly access the ACM Digital Library, Springer Link and other paper providers from the University wi-fi networks (DCC-AIR, in-cec...). If you want to access/download the papers outside the University Network, you can (at least) follow one of the following procedures:+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)}}.+  - 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.   - 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>