| 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] |
