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