Changes between Version 1 and Version 2 of Past/2012


Ignore:
Timestamp:
Feb 23, 2012, 2:07:33 AM (9 years ago)
Author:
Ben Lippmeier
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Past/2012

    v1 v2  
    22
    33=== 41: 16th February ===
    4  * Ben Sinclair, A certified adder in Agda
    5  * Erik de Castro Lopo, From Enumerator to Conduit
    6  * Brian `McKenna`, Roy - a function language that compiles to Javascript
    7  * Eric Torreborre, The Essence of the Iterator Pattern
     4 * Ben Sinclair, [http://code.ouroborus.net/fp-syd/past/2012/2012-02-sinclair-certifed-adder.agda A certified adder in Agda]
     5 * Erik de Castro Lopo, [http://code.ouroborus.net/fp-syd/past/2012/2012-02-deCastroLopo-conduit.pdf From Enumerator to Conduit]
     6 * Brian !McKenna, [http://brianmckenna.org/files/presentations/fp-syd-roy/ Roy -  a functional language that compiles to Javascript]
     7 * Eric Torreborre, [http://code.ouroborus.net/fp-syd/past/2012/2012-02-torreborre-iterator-pattern.pptx The Essence of the Iterator Pattern]
    88 * Discussion of the speakers roster for 2012.