readinggroup
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
readinggroup [2015/01/27 14:34] cschuster added talk for 2/3 |
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) | + | |
| =====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
Page Tools
