Changes between Version 5 and Version 6 of Past/2011


Ignore:
Timestamp:
Jun 2, 2011, 6:12:29 AM (13 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Past/2011

    v5 v6  
    55* Erik de Castro Lopo: Wai, Warp and http-enumerator : OMFG, the types, they hurt my eyes!
    66* 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).
    88
    99=== 33: April 21st ===