Difference between revisions of "Hac φ/Talks"
< Hac φ
Jump to navigation
Jump to search
(→Talks) |
|||
(17 intermediate revisions by 12 users not shown) | |||
Line 6: | Line 6: | ||
! Talk Name |
! Talk Name |
||
! Speaker |
! Speaker |
||
+ | ! Description |
||
+ | <!-- copy this template to add your talk |
||
|- |
|- |
||
+ | | A Stunning Talk on an Unfathomable Topic |
||
− | | MongoDB driver for Haskell |
||
+ | | Joe the Mighty |
||
− | | Tony Hannan |
||
+ | --> |
||
|- |
|- |
||
+ | | Type-directed search with dependent types |
||
− | | Building Web Apps with Snap |
||
+ | | Ben Sherman |
||
− | | Doug Beardsley |
||
− | |- |
||
− | | Ur/Web - Typesafe web development with class |
||
− | | Austin Seipp |
||
|} |
|} |
||
− | == Workshop Polls == |
||
− | |||
− | === Natural Language Syntax Formalisms === |
||
+ | [[Category:Community]] |
||
− | If you're interested in a workshop on formalisms for natural language syntax, please say so here so I can know to prepare something. It'll probably end up being very high-level, without implementations for much of it. [[User:Augur|Augur]] 22:49, 18 June 2011 (UTC) |
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 |