= Past Meetings, 2017 = === 90: 25th January === * Huw Campbell: [https://github.com/HuwCampbell/grenade Grenade, Practical Deep Learning in Haskell] * Ben Lippmeier: Closure Conversion and Accurate Garbage Collection for Functional Runtimes. * Ivan Miljenovic: [https://ivan-m.github.io/FPSyd-Transmogrification Transmogrify Your Data] and [https://ivan-m.github.io/FPSyd-KnottedGraphs 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: [http://code.ouroborus.net/fp-syd/past/2017/2017-03-Jay-Intensional.pdf 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. * 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 Tibbell: 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.