= 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: [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: 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: [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]