= Past Meetings, 2014 =

=== 69: 22nd October 2014 ===
 * Max Swadling: !FilePaths, C++ and Web.Cloud: 3 every day problems with elegant solutions.
 * Liam O'Connor: Keeping the Neighbours in Order (Agda and dependent types).

=== 68: 24th September 2014 ===
 * Eric Torreborre: The Expression Problem solved, finally!
 * Dom De Re: [http://code.ouroborus.net/fp-syd/past/2014/2014-09-DeRe-RefinedTypes.pdf Refined Types]
 * Raphael Speyer: Software defined networking

=== 67: 20th August 2014 ===
 * Tony Sloane: [http://code.ouroborus.net/fp-syd/past/2014/2014-08-Sloane-CPS.pdf Compiling Strict Functional Languages using Continuation Passing Style]
 * Thomas Sewell: The Kepler conjecture
 * Tran Ma: [http://code.ouroborus.net/fp-syd/past/2014/2014-08-Ma-StreamingOT.pdf Streaming OT (or "the wonders of Gabriel Gonzalez"] )

=== 66: 23rd July 2014 ===
 * Liam O'Conner: Hilbert - Two graphics theorem provers
 * Shane Stephens: Effects in Idris and (maybe) Haskell
 * Eric Willigers: More efficient Combinatory Logic

=== 65: 25th June 2014 ===
 * Ben Sinclair: Haskell and ABC iView
 * Declan Conlon: Kicking the tires on linear sorting
 * Hugh Giddens: Codensity

=== 64: 28th May 2014 ===
 * Ben Lippmeier: [http://code.ouroborus.net/fp-syd/past/2014/2014-05-Lippmeier-Relational.pdf Flattening Nested Database Queries]
 * Frederick Madsen: [http://code.ouroborus.net/fp-syd/past/2014/2014-05-Madsen-Streaming.pdf Streaming in Accelerate]
 * Trevor !McDonell: Tales from NVIDIA

=== 63: 23rd April 2014 ===
 * Max Swadling: Extended Uses of Template Meta-programming in Haskell

 * Coq Fight Night[[br]]
   Participants:
   - Amos Robinson
   - Liam O'Conner
   - Dom De Re
   - Tony Sloane
   - Ben Lippmeier

=== 62: THURSDAY 20th March 2014 ===
 * Yaron Minsky: GADTs for Speed Demons.
 * Tim Docker: ADL - A language for describing communicating actor systems.
 * Rob Everest: [http://code.ouroborus.net/fp-syd/past/2014/2014-03-CliftonEverest-Nested.pdf Nested parallelism in Accelerate.]

=== 61: 26th February ===
 * Amos Robinson: [http://code.ouroborus.net/fp-syd/past/2014/2014-02-Robinson-Fusion.pdf Better fusion for filters in GHC]
 * Erik de Castro Lopo: A new big integer library for Haskell.
 * Mark Hibberd: [http://code.ouroborus.net/fp-syd/past/2014/2014-02-Hibberd-Lens.pdf lens - more than just a curiosity.]

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