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 22:34] cschuster added talk for 2/3 |
readinggroup [2015/04/16 02: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]]** |