Past Meetings, 2015

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