Changes between Version 3 and Version 4 of Past/2012


Ignore:
Timestamp:
Mar 19, 2012, 2:03:34 AM (12 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Past/2012

    v3 v4  
    99
    1010=== 42: 15th March ===
    11  * Ben Lippmeier, Contextual equivalence and the ciu-theorem.
    12  * Shane Stephens
    13  * Liam O'Conner
     11 * Ben Lippmeier, [http://code.ouroborus.net/fp-syd/past/2012/2012-03-Lippmeier-CIU-Theorem.pdf Contextual equivalence and the ciu-theorem]
     12 * Shane Stephens, [http://code.ouroborus.net/fp-syd/past/2012/2012-03-Stephens-Hindemith.pdf Hindemith in Haskell]
     13 * Liam O'Conner, Zippers and Data Type Differentiation
    1414