Difference between revisions of "Hac φ/Talks"
< Hac φ
Jump to navigation
Jump to search
EdwardKmett (talk | contribs) (expressed willingness to talk) |
(→Talks) |
||
| (26 intermediate revisions by 16 users not shown) | |||
| Line 1: | Line 1: | ||
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. |
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 == |
||
| − | * Edward Kmett is willing to give a short talk on reverse-mode automatic differentiation, finger-trees or practical parallel parsing, and will be present Saturday afternoon. |
||
| + | |||
| + | {| class="wikitable" |
||
| + | ! Talk Name |
||
| + | ! Speaker |
||
| + | ! Description |
||
| + | <!-- copy this template to add your talk |
||
| + | |- |
||
| + | | A Stunning Talk on an Unfathomable Topic |
||
| + | | Joe the Mighty |
||
| + | --> |
||
| + | |- |
||
| + | | Type-directed search with dependent types |
||
| + | | Ben Sherman |
||
| + | |} |
||
| + | |||
| + | |||
| + | [[Category:Community]] |
||
Revision as of 00:08, 16 September 2014
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 |
|---|---|---|
| Type-directed search with dependent types | Ben Sherman |