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
Next revision
Previous revision
Last revision Both sides next revision
readinggroup [2014/06/01 21:24]
cschuster cancelling june 2 meeting
readinggroup [2015/02/04 23:19]
cschuster added talk for 2/10
Line 1: Line 1:
 ====== Programming Languages Reading Group ====== ====== Programming Languages Reading Group ======
  
-===Meeting time: Mondays 3:30, E2.397===+===Meeting time: Tuesday 1:00pm, E2.397===
  
 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.
  
-=====Spring 2014===== +=====Winter 2015=====
- +
-  * **Apr 4** +
-    * Polymorhpic-Inline Caching (chris) +
-  * **Apr 14** +
-    * SES (dustin) +
-  * **Apr 21** +
-    * Dynamic Analysis etc. (chris) +
-  * **Apr 28** +
-    * Information Flow (thomas) +
-  * **May 5** +
-    * Using ES6 Generators for async (dustin) +
-  * **May 12** +
-    * Contracts and Information Flow (tim) +
-  * **May 19** +
-    * *cancelled* +
-  * **May 26** +
-    * Memorial Day +
-  * **June 2** +
-    * *cancelled*+
  
 +  * **Jan 13**
 +    * 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/​fall14 | Fall 2014]]**
 +  * **[[readinggroup/​spring14 | Spring 2014]]**
   * **[[readinggroup/​winter14 | Winter 2014]]**   * **[[readinggroup/​winter14 | Winter 2014]]**
   * **[[readinggroup/​spring11 | Spring 2011]]**   * **[[readinggroup/​spring11 | Spring 2011]]**
readinggroup.txt · Last modified: 2015/04/16 02:56 by cschuster