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/20 23:37] cschuster added talk for 1/27 |
readinggroup [2015/02/04 23:19] cschuster added talk for 2/10 |
||
|---|---|---|---|
| Line 14: | Line 14: | ||
| * Gradual type systems, information flow, etc. (dustin) | * Gradual type systems, information flow, etc. (dustin) | ||
| * **Jan 27** | * **Jan 27** | ||
| - | * T.B.A. (thommy) | + | * 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
