User Tools

Site Tools


readinggroup

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
readinggroup [2015/02/04 15:19]
cschuster added talk for 2/10
readinggroup [2015/04/15 19:56]
cschuster spring 2015
Line 1: Line 1:
 ====== Programming Languages Reading Group ====== ====== Programming Languages Reading Group ======
  
-===Meeting time: Tuesday 1:00pm, E2.397===+===Meeting time: on demand ​===
  
 A weekly meeting hosted by the Software and Languages Research Group for talking about our own research topics as well as interesting papers and projects which are worth sharing. A weekly meeting hosted by the Software and Languages Research Group for talking about our own research topics as well as interesting papers and projects which are worth sharing.
Line 7: Line 7:
 Each session typically involves 30 to 45min of presentation and more or less discussion at the end. Each session typically involves 30 to 45min of presentation and more or less discussion at the end.
  
-=====Winter ​2015=====+=====Spring ​2015=====
  
-  * **Jan 13** +No regular meeting planned at the moment.
-    * Programming Environments/​Hot-Swapping,​ PLT Redex (chris, tim) +
-  * **Jan 20** +
-    * Gradual type systems, information flow, etc(dustin) +
-  * **Jan 27** +
-    * Polymonads (tommy) +
-  * **Feb 3** +
-    * Double monads (tommy) +
-  * **Feb 10** +
-    * Program Synthesis/​Programming by Example (chris)+
  
 =====Previous Reading Groups===== =====Previous Reading Groups=====
  
 +  * **[[readinggroup/​winter15 | Winter 2015]]**
   * **[[readinggroup/​fall14 | Fall 2014]]**   * **[[readinggroup/​fall14 | Fall 2014]]**
   * **[[readinggroup/​spring14 | Spring 2014]]**   * **[[readinggroup/​spring14 | Spring 2014]]**
readinggroup.txt · Last modified: 2015/04/15 19:56 by cschuster