= Past Meetings, 2015 =

=== 79: 21th October ===

* Eric Torreborre: Data Generation; the hard parts.
* Dom de Re: Adjoint Functors, mathspeak for 'Two sides of the same coin'
* Yutaka Nagashima: Proof automation with monads.

=== 78: 23rd September ===

 * Raphael Speyer
 * Tim !McGilchrist: Lightweight higher-kinded polymorphism.
 * Andrae Muys: Semiotics and the Unreasonable Effectiveness of Logic Programming in Schema Management

=== 77: 26th August ===

 * Sharif Olorin: Approximate streaming quantiles: a case study in Haskell.
 * Boey Maun Suang: A brief tour of typed racket.
 * Trevor !McDonell: Type-safe runtime code generation: Accelerate to LLVM

=== 76: 24th June ===

 Coq Fight Night

=== 75: 22nd July ===

* Jacob Stanley: [http://code.ouroborus.net/fp-syd/past/2015/2015-07-Stanley-SSAvsANF.pdf SSA vs ANF]
* Mark Hibberd
* Tim Docker

=== 74: 27th May ===

 * Tony Sloane: [http://code.ouroborus.net/fp-syd/past/2015/2015-05-Sloane-Moama.pdf The Moama Functional Language Design]
 * Thomas Sutton: [http://code.ouroborus.net/fp-syd/past/2015/2015-05-Sutton-DynamicProgramming.pdf Dynamic Programming in Haskell]
 * Liam O'Connor: Model Examples, Example Models

=== 73: 22nd April ===

 * Erik de Castro Lopo: [http://code.ouroborus.net/fp-syd/past/2015/2015-04-deCastroLopo-Proxy.pdf A library for writing HTTP and HTTPS proxies]
 * Jacob Stanley: [http://code.ouroborus.net/fp-syd/past/2015/2015-04-Stanley-TailCall.pdf Get off my tail]
 * Jed Wesley-Smith: [http://code.ouroborus.net/fp-syd/past/2015/2015-04-WesleySmith-FpExperience.pdf Functional Architecture: an Experience Report]


=== 72: 25th March ===

 * Conrad Parker: [http://code.ouroborus.net/fp-syd/past/2015/2015-03-Parker-PureConsensus.pdf Pure consensus in a world full of failure.]
 * Rob Clifton-Everest: [http://code.ouroborus.net/fp-syd/past/2015/2015-03-Everest-Streaming.pdf Streaming data and Garbage Collection in Accelerate]
 * Christian Marie: [http://code.ouroborus.net/fp-syd/past/2015/2015-03-Marie-WebService.pdf Your Web Service as a Type]

=== 71: 25th February ===

 * Ben Lippmeier: [http://code.ouroborus.net/fp-syd/past/2015/2015-02-Lippmeier-RepaFlow.pdf Data Parallel Data Flow with Repa 4]
 * Christian Marie: [http://code.ouroborus.net/fp-syd/past/2015/2015-02-Marie-Tripping.pdf Round tripping balls (JSON with partial isomorphisms & Haskell)] [http://code.ouroborus.net/fp-syd/past/2015/2015-02-Marie-Tripping-Handout.pdf (handout)]
 * Amos Robinson: [http://code.ouroborus.net/fp-syd/past/2015/2015-02-Robinson-MergingMerges.pdf Merging Merges, more or less] [http://www.cse.unsw.edu.au/~amosr/blog/2015-02-25-mergingmerges.html notes]