Difference between revisions of "Hac φ/Talks"

From HaskellWiki
Jump to: navigation, search
(Talks)
Line 12: 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