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 [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
Page Tools
