= 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: [http://code.ouroborus.net/fp-syd/past/2017/2017-03-Ma-Refinement.pdf 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: [http://code.ouroborus.net/fp-syd/past/2017/2017-04-McDonell-GHCi.pdf How to make a GHCi.] [http://code.ouroborus.net/fp-syd/past/2017/2017-04-McDonell-GHCi-demos.zip (demos)] * Jost Berthold: [http://code.ouroborus.net/fp-syd/past/2017/2017-04-Berthold-DustyDecks.pdf Dusty decks of parallel Haskell.] * Sean Seefried: [http://code.ouroborus.net/fp-syd/past/2017/2017-04-Seefried-Merkle.pdf Automatically Generating Tamper Resistant Data Structures.] === 94: 24th May === * Rob Clifton-Everest: [http://code.ouroborus.net/fp-syd/past/2017/2017-05-Everest-Arrays.pdf Expressing Array Programs.] * Johan Tibell: [http://code.ouroborus.net/fp-syd/past/2017/2017-05-Tibell-Unboxing.pdf 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: [http://code.ouroborus.net/fp-syd/past/2017/2017-08-CastroLopo-Linear.pdf A Brief Look at Linear Types in GHC 8.4] * Christian Marie: [http://code.ouroborus.net/fp-syd/past/2017/2017-08-Marie-FAlgebras.pdf 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