Difference between revisions of "Hac φ/Talks"
< Hac φ
Jump to navigation
Jump to search
(→Talks) |
(→Talks) |
||
| (2 intermediate revisions by 2 users not shown) | |||
| Line 13: | Line 13: | ||
--> |
--> |
||
|- |
|- |
||
| + | | Relational Algebra in Haskell |
||
| − | | Type-directed search with dependent types |
||
| + | | Andrew Thaddeus Martin |
||
| − | | Ben Sherman |
||
| + | |- |
||
| + | | Visible type application in GHC 8.0 |
||
| + | | Richard Eisenberg |
||
| + | |||
|} |
|} |
||
Revision as of 21:29, 4 November 2015
If you'd like to give a talk, announce it here; tell us your name, the title of the talk, a short description. Please also let us know if you won't be attending Saturday afternoon and want to present at some other time.
Talks
| Talk Name | Speaker | Description |
|---|---|---|
| Relational Algebra in Haskell | Andrew Thaddeus Martin | |
| Visible type application in GHC 8.0 | Richard Eisenberg |