Difference between revisions of "Hac φ/Talks"
< Hac φ
Jump to navigation
Jump to search
EdwardKmett (talk | contribs) (→Talks) |
(→Talks) |
||
(4 intermediate revisions by 4 users not shown) | |||
Line 7: | Line 7: | ||
! Speaker |
! Speaker |
||
! Description |
! Description |
||
⚫ | |||
− | | Towards "Big Data" in Haskell |
||
− | | Edward Kmett |
||
− | | What is the purpose of the mysterious github.com/analytics account? Why am I doing this? How will it work? What does it mean? When did I start talking to myself? |
||
<!-- copy this template to add your talk |
<!-- copy this template to add your talk |
||
|- |
|- |
||
Line 16: | Line 12: | ||
| Joe the Mighty |
| Joe the Mighty |
||
--> |
--> |
||
⚫ | |||
+ | | Type-directed search with dependent types |
||
+ | | Ben Sherman |
||
|} |
|} |
||
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 |