Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sverd [2010/06/14 23:15] vkuncak |
sverd [2010/06/14 23:15] vkuncak |
||
---|---|---|---|
Line 24: | Line 24: | ||
* Non-Null Types (Hubert Plociniczak) | * Non-Null Types (Hubert Plociniczak) | ||
* Type annotations and data-flow analysis in Scala (Eva Darulova and Aleksandar Prokopec) | * Type annotations and data-flow analysis in Scala (Eva Darulova and Aleksandar Prokopec) | ||
- | * Synthesis in Scala (Philippe Suter) | + | * Synthesis in Scala (Ruzica Piskac) |
Discussion topics | Discussion topics |