= Past Meetings, 2013 = === 59: 16th October === * Erik de Castro Lopo: ICFP Retrospective * Ben Lippmeier: [http://code.ouroborus.net/fp-syd/past/2013/2013-10-FlowFusion.pdf Data Flow Fusion with Series Expressions] * Liam O'Connor: 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: Simulation testing with Datomic * Tom Sewell: Things I've learned about SAT * Shane Stephens: 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) ===