| Version 1 (modified by , 13 years ago) (diff) |
|---|
Past Meetings, 2011
19th May
- Erik de Castro Lopo: Wai, Warp and http-enumerator : OMFG, the types, they hurt my eyes!
- Ben Lippmeier, Hacking Data Parallel Haskell
- Tom Sewell, Theoretical Theorem Proving (longer talk).
