= Past Meetings, 2013 =

== 56: 26th June ==
 * Andrew Cowie, Conflict-free replicated data types, Consensus algorithms, and the Cloud
 * Tony Sloane, Proof-Directed Debugging
 * Tran Ma, Parallel Cellular Automata in Haskell

== 55: 24th July ==
 * Mark Wotton, My editor is better than your editor
 * Rob Everest, Accelerate and the outside world: Interfacing Accelerate with low-level CUDA
 * Ben Lippmeier, Internalizing the effect judgement in DDC

== 54: 29nd May ==
 * Jed Wesley-Smith, [http://code.ouroborus.net/fp-syd/past/2013/2013-05-WesleySmith-Variance.pdf On Variance]
 * Tim Docker, [http://twdkz.wordpress.com/2013/05/31/data-analysis-with-monoids/ Monoids for Data Analysis]
 * Amos Robinson, [http://code.ouroborus.net/fp-syd/past/2013/2013-05-Robinson-SpecConstr.pdf SpecConstr Optimising purely functional loops]

=== 53: 24th April ===
 * Mark Hibberd, [http://mth.io/talks/free/ Interpreters and Little Languages with Free]
 * Trevor !McDonell, The Accelerate EDSL

=== 52: 27th March ===
 * Erik de Castro Lopo: Persistent and Esqueleto
 * Eric Torreborre: Kiama, a walk down the beach
 * Liam O'Connor-Davis: Type Theory is Proof Theory

=== 51: 27th February ===
 * [http://code.ouroborus.net/fp-syd/past/2013/2013-02-Lippmeier-Beluga.pdf Ben Lippmeier, The Beluga Language]
 * Dhanji Prasanna, The Loop Language
 * Boey Maun Suang, The J Language

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