= Past Meetings, 2012 = === 46: 19th July === * Liam O'Conner: Designing Haskell Libraries * Eric Torreborre: [http://code.ouroborus.net/fp-syd/past/2012/2012-07-Torreborre-Strong-FP.pdf Strong Functional Programming] * Shane Stephens: [http://code.ouroborus.net/fp-syd/past/2012/2012-07-Stephens-HindemithII.pdf Hindemith in Haskell, Part II] === 45: 21st June === * Jed Wesley-Smith : A Brief and Incomplete History of FP @ Atlassian * Mark Wotton : Haskell In Production: The Good, The Bad, and the Ugly" * Sean Seefried : [http://code.ouroborus.net/fp-syd/past/2012/2012-06-Seefried-MatrixMultII.pdf Generic Matrix Multiplication Part II] === 44: 17th May === * Trevor `McDonell` : The Current status of Accelerate * Raphael Speyer : Unix programming in OCaml * Tim Docker : Abstract Composable GUIs === 43: 19th April === * Ben Lippmeier, Recent changes to the REPA API * Tom Sewell, Binders and manipulating higher-order functions * Eric Willigers, The SKI Combinator Calculus === 42: 15th March === * Ben Lippmeier, [http://code.ouroborus.net/fp-syd/past/2012/2012-03-Lippmeier-CIU-Theorem.pdf Contextual equivalence and the ciu-theorem] * Shane Stephens, [http://code.ouroborus.net/fp-syd/past/2012/2012-03-Stephens-Hindemith.pdf Hindemith in Haskell] * Liam O'Conner, Zippers and Data Type Differentiation === 41: 16th February === * Ben Sinclair, [http://code.ouroborus.net/fp-syd/past/2012/2012-02-sinclair-certifed-adder.agda A certified adder in Agda] * Erik de Castro Lopo, [http://code.ouroborus.net/fp-syd/past/2012/2012-02-deCastroLopo-conduit.pdf From Enumerator to Conduit] * Brian !McKenna, [http://brianmckenna.org/files/presentations/fp-syd-roy/ Roy - a functional language that compiles to Javascript] * Eric Torreborre, [http://code.ouroborus.net/fp-syd/past/2012/2012-02-torreborre-iterator-pattern.pptx The Essence of the Iterator Pattern] * Discussion of the speakers roster for 2012.