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

99: 25th October

• Ivan Miljenovic: I Streamed a Stream
• Clinton Mead: Everything’s a functor. Everything is good when you’re a category.

100: 22nd November

• Ben Lippmeier: Cubical Type Theory
• 100th Meeting Party at Pool Club