Past Meetings, 2017

90: 25th January

• Huw Campbell: ​Grenade, Practical Deep Learning in Haskell
• Ben Lippmeier: Closure Conversion and Accurate Garbage Collection for Functional Runtimes.
• Ivan Miljenovic: ​Transmogrify Your Data and ​Knotted Graphs.

91: 22nd February

• Erik de Castro Lopo: Hey Dude, Where's my Heap?
• Louis Pan: Composable Glazier widgets with ReactJS
• Amos Robinson: Sooner and later: schema specialisation with staged computation

92: 22nd March

• Tran Ma: ​Agile Formal Methods for the Aspiring Worker
• Barry Jay: ​A combinatorial account of the intensional lambda calculus
• Jacob Stanley: Introducing Hedgehog - Integrated Shrinking for Effectful Property Tests

93: 26th April

• Trevor McDonell: ​How to make a GHCi. ​(demos)
• Jost Berthold: ​Dusty decks of parallel Haskell.
• Sean Seefried: ​Automatically Generating Tamper Resistant Data Structures.

94: 24th May

• Rob Clifton-Everest: ​Expressing Array Programs.
• Johan Tibell: ​Unboxing sum types.
• Tim McGilchrist: Dependent typing, not just for vectors.

95: 28th June

• Coq Fight Night

96: 26th July

• Ben Lippmeier: Shimmer, a container for primops.
• Erik de Castro Lopo: ​A Brief Look at Linear Types in GHC 8.4
• Christian Marie: ​A Gentle Introduction to the Mathematical Structure of F-Algebras

97: 23rd August

• Amos Robinson: Merging Merges, more or less.
• Rob Everest: Streaming Irregular Arrays
• Sharif Olorin: Field guide to writing and using cryptosystems in Haskell

98: 27th September

• Thomas Sutton: Tree edit distance
• Tom Sewell: Monads for replaying proofs in Isabelle