Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Last revisionBoth sides next revision
plrg [2014/01/23 13:54] – fbanadosplrg [2014/02/06 15:45] – fbanados
Line 15: 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 =====