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 [2014/01/23 13:53] – 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]]. **To foster 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 24: Line 15:
   * **Dec 3rd, 2013. ** William Cook, [[http://doi.acm.org/10.1145/1640089.1640133|On understanding data abstraction, revisited]]   * **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, Reflections on trusting trust and Alan Perlis, The Synthesis of Algorithmic Systems+  * **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, GADTs meet subtyping+  * **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 =====