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
plrg [2013/11/14 06:24] – fbanadosplrg [2014/02/06 19:46] (current) – 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]] 
 + 
 +More suggestions in the [[plrg:suggestions|suggestions page]].
  
 ===== Accessing papers from outside the University Network ===== ===== Accessing papers from outside the University Network =====
Line 38: Line 36:
  
 {{http://imgs.xkcd.com/comics/lisp_cycles.png|(An unmatched left parenthesis creates an unresolved tension that will stay with you all day.}} {{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>