= Past Meetings, 2013 =

=== 60: 27th November ===
 * Maxwell Swadling: Embeddable Foreign Language Interface Generators
 * Thomas Sutton: A complete idiot's introduction to formal concept analysis


=== 59: 16th October ===
 * Erik de Castro Lopo: ICFP Retrospective
 * Ben Lippmeier: [http://code.ouroborus.net/fp-syd/past/2013/2013-10-Lippmeier-FlowFusion.pdf Data Flow Fusion with Series Expressions]
 * Liam O'Connor: [http://code.ouroborus.net/fp-syd/past/2013/2013-10-OConner-CDSL.pdf CDSL: A Restricted Functional Language for Verification of File Systems]

=== 58: 18th September ===
 * George Roldugin: Functional Computer Music
 * Maun Suang Boey: Shen: It's Lisp, Jim, but not as we know it.

=== 57: 28th August ===
 * Julian Gamble: [http://code.ouroborus.net/fp-syd/past/2013/2013-08-Gamble-Datomic.pdf Simulation testing with Datomic]
 * Thomas Sewell: [http://code.ouroborus.net/fp-syd/past/2013/2013-08-Sewell-SAT.pdf Things I've learned about SAT]
 * Shane Stephens: [http://code.ouroborus.net/fp-syd/past/2013/2013-08-Stephens-WebAnimations.pdf Generating a Functional API for Web Animations]

=== 56: 24th July ===
 * Mark Wotton: My editor is better than your editor
 * Rob Everest: [http://code.ouroborus.net/fp-syd/past/2013/2013-07-Everest-AccelerateFFI.pdf Accelerate and the outside world: Interfacing Accelerate with low-level CUDA]
 * Ben Lippmeier: Internalizing the effect judgement in DDC

=== 55: 26th June ===
 * Andrew Cowie: [http://research.operationaldynamics.com/~andrew/talks/ConflictConsensusCloud/ Conflict-free replicated data types, Consensus algorithms, and the Cloud]
 * Tony Sloane: [http://wiki.kiama.googlecode.com/hg/talks/fp-syd13.pdf Installing Trampolines in Kiama's Pretty Printer]
 * Tran Ma: Parallel Cellular Automata in Haskell

=== 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) ===