readinggroup
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
readinggroup [2015/01/13 23:09] cschuster added fall 2014 |
readinggroup [2015/02/04 23:19] cschuster added talk for 2/10 |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| * **Jan 13** | * **Jan 13** | ||
| - | * Dynamic Programming Environments with Hot-Swapping, PLT Redex (chris, tim) | + | * Programming Environments/Hot-Swapping, PLT Redex (chris, tim) |
| * **Jan 20** | * **Jan 20** | ||
| - | * T.B.A. (dustin) | + | * 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.txt · Last modified: 2015/04/16 02:56 by cschuster
Page Tools
