Changes between Version 5 and Version 6 of Past/2011
- Timestamp:
- Jun 2, 2011, 6:12:29 AM (14 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Past/2011
v5 v6 5 5 * Erik de Castro Lopo: Wai, Warp and http-enumerator : OMFG, the types, they hurt my eyes! 6 6 * Ben Lippmeier, [http://code.ouroborus.net/fp-syd/past/2011/2011-05-lippmeier-replicate.pdf Flattening and Replication in Data Parallel Haskell] 7 * Tom Sewell, Theoretical Theorem Proving(longer talk).7 * Tom Sewell, [http://code.ouroborus.net/fp-syd/past/2011/2010-05-sewell-calculemus.pdf Theoretical] [http://code.ouroborus.net/fp-syd/past/2011/2010-05-sewell-induct.pdf Theorem] [http://code.ouroborus.net/fp-syd/past/2011/2010-05-sewell-l4v.pdf Proving] (longer talk). 8 8 9 9 === 33: April 21st ===