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:19] – [Inaugural Meeting] 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]]. **For discussion we will assume that everyone has already read the paper. Please do.**  
- 
-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 22: 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 28: 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 =====
Line 36: Line 32:
   - 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>