Difference between revisions of "Hac φ/Talks"
< Hac φ
Jump to navigation
Jump to search
(→Talks) |
(→Talks) |
||
Line 12: | Line 12: | ||
| Joe the Mighty |
| Joe the Mighty |
||
--> |
--> |
||
− | |- |
||
− | | Type-directed search with dependent types |
||
− | | Ben Sherman |
||
|} |
|} |
||
Revision as of 02:32, 24 September 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 |
---|