= Past Meetings, 2012 =

=== 50: 15th November ===
* Celebration of the 50th FP-Syd (with fine Scotch)
* Tran Ma, [http://code.ouroborus.net/fp-syd/past/2012/2012-11-Ma-TypeBasedAliasingControl.pdf Type-based Aliasing Control for the Disciplined Disciple Compiler]
* Amos Robinson, Rewrite rules for the Disciplined Disciple Compiler
* Simon Meier, [http://htmlpreview.github.com/?https://github.com/meiersi/talks/blob/master/20121115_fpsyd_bytestring_builder/slides.html#(1) A guided tour through the new bytestring builder]

=== 49: 18th October ===
* Eric Willigers, Red-Black trees in Idris
* Tim Docker, Haskell coding interactively with Hint 
* Ben Lippmeier, Ott: Effective Tool Support for the Working Semanticist

=== 48: 20th September ===
* Raphael Speyer, !JoCaml Illustrated
* Andrew Cowie, The web problem, and solving it in Haskell
* Thomas Sewell, Calculating over loops using a tool that can't

=== 47: 16th August ===
* Erik de Castro Lopo, Kicking the Tires on Yesod
* Karl Roberts, Trying to go from lambda to useful with simple translations
* Tony Sloane, Profile-based Abstraction and Analysis of Attribute Grammar Evaluation

=== 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, [http://code.ouroborus.net/fp-syd/past/2012/2012-04-Willigers-SKI.pdf 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.

=== --: January (no meeting) ===