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/12/12 02:53]
cschuster typo
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: Fridays 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.
  
-=====Fall 2014===== +=====Winter 2015=====
- +
-  * **Nov 14** +
-    * Macros, ES6 templates, Extensible Grammars (tim, ...) +
-  * **Nov 21** +
-    * Linear Type Systems, unique_ptr, C++11, Typelogical grammars (chris, tommy, ...) +
-  * **Dec 5** +
-    * "User Defined Syntax",​ 1992 PhD thesis by Annika Aasa +
-    * "​Accomplishments and Research Challenges in Meta-Programming",​ 2002 survey by Tim Sheard +
-    * Staged Languages (tommy, etc) +
-  * **Dec 12** +
-    * (canceled)+
  
 +  * **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/​spring14 | Spring 2014]]**
   * **[[readinggroup/​winter14 | Winter 2014]]**   * **[[readinggroup/​winter14 | Winter 2014]]**
readinggroup.txt · Last modified: 2015/04/16 02:56 by cschuster