Difference between revisions of "Hac φ/Talks"
< Hac φ
Jump to navigation
Jump to search
Mightybyte (talk | contribs) (Add Snap talk) |
|||
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. |
||
− | |||
− | == Talk ideas (not final) == |
||
− | |||
− | * thoughtpolice would enjoy talking a bit about [http://impredicative.com/ur Ur/Web], for those interested in static types and web development. |
||
== Talks == |
== Talks == |
||
Line 16: | Line 12: | ||
| Building Web Apps with Snap |
| Building Web Apps with Snap |
||
| Doug Beardsley |
| Doug Beardsley |
||
+ | |- |
||
+ | | Ur/Web - Typed metaprogramming with class |
||
+ | | Austin Seipp |
||
|} |
|} |
||
Revision as of 23:29, 20 July 2011
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 |
---|---|
MongoDB driver for Haskell | Tony Hannan |
Building Web Apps with Snap | Doug Beardsley |
Ur/Web - Typed metaprogramming with class | Austin Seipp |
Workshop Polls
Natural Language Syntax Formalisms
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. Augur 22:49, 18 June 2011 (UTC)