< Hac φ(Difference between revisions)
|(14 intermediate revisions by 9 users not shown)|
Latest 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.
|Type-directed search with dependent types||Ben Sherman|