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: ​SSA vs ANF
• Mark Hibberd
• Tim Docker

74: 27th May

• Tony Sloane: ​The Moama Functional Language Design
• Thomas Sutton: ​Dynamic Programming in Haskell
• Liam O'Connor: Model Examples, Example Models

73: 22nd April

• Erik de Castro Lopo: ​A library for writing HTTP and HTTPS proxies
• Jacob Stanley: ​Get off my tail
• Jed Wesley-Smith: ​Functional Architecture: an Experience Report

72: 25th March

• Conrad Parker: ​Pure consensus in a world full of failure.
• Rob Clifton-Everest: ​Streaming data and Garbage Collection in Accelerate
• Christian Marie: ​Your Web Service as a Type

71: 25th February

• Ben Lippmeier: ​Data Parallel Data Flow with Repa 4
• Christian Marie: ​Round tripping balls (JSON with partial isomorphisms & Haskell) ​(handout)
• Amos Robinson: ​Merging Merges, more or less ​notes