= Past Meetings, 2011 = === 38: 8th September === (This meeting was moved a week earlier due to conflict with ICFP) * Paul Steckler: A discussion of Oleg's article on how impredicativity breaks type soundness in Haskell. * Mark Wotton: The Complete Idiots Guide to Template Haskell. * Ben Lippmeier: Unhygenic letregion and the region phase change in DDC core part 2. === 37: 18th August === * Erik de Castro Lopo: [http://www.youtube.com/watch?v=NqxoI8ykZ88 My recent adventures in DDC land.] * Ben Lippmeier: [http://www.youtube.com/watch?v=PLBvMsnHMR8 Unhygenic letregion and the region phase change in DDC core.] * Sean Seefried: [http://www.youtube.com/watch?v=osL6WSsW0OY Playspace (web and OpenGL).] === 36: 21st July === * Ben Lippmeier, [http://www.youtube.com/watch?v=OBPOaz5fIzA Joint Evaluation Contexts] * Eric Torreborre, [http://www.youtube.com/watch?v=lMyNRUuEvNU specs2: go functional!] * Tony Sloane, [http://www.youtube.com/watch?v=81_Jh6XnHxc Functional Pretty Printer Combinators] === 35: 16th June === * Eric Willigers, [http://www.youtube.com/watch?v=3kHh-zjp9xw Type Systems in Theorem Provers] * Raphael Speyer, !JoCaml: [http://www.youtube.com/watch?v=Dn5RXTix680 Concurrent Programming with the Join Calculus] * Dominic Verity, [http://www.youtube.com/watch?v=yilkBvVDB_w Category Theory part II] === 34: May 19th === * Erik de Castro Lopo: Wai, Warp and http-enumerator : OMFG, the types, they hurt my eyes! * Ben Lippmeier, [http://code.ouroborus.net/fp-syd/past/2011/2011-05-lippmeier-replicate.pdf Flattening and Replication in Data Parallel Haskell] * Tom Sewell, [http://code.ouroborus.net/fp-syd/past/2011/2011-05-sewell-calculemus.pdf Theoretical] [http://code.ouroborus.net/fp-syd/past/2011/2011-05-sewell-induct.pdf Theorem] [http://code.ouroborus.net/fp-syd/past/2011/2011-05-sewell-l4v.pdf Proving] (longer talk). === 33: April 21st === * Ben Lippmeier, [http://code.ouroborus.net/fp-syd/past/2011/2011-04-lippmeier-name-binding.pdf Falling Down the Naming Well] * Sean Seefried, [http://code.ouroborus.net/fp-syd/past/2011/2011-04-seefried-yesod.pdf The Yesod Framework] * Raphael Speyer, [https://github.com/rapha/Ospecl OSpecl] an rspec-inspired testing library for OCaml * Brian !McKenna, [http://code.ouroborus.net/fp-syd/past/2011/2011-04-mckenna-yeti.pdf The Yeti Language] * Open discussion of new FP-Syd scheduling arrangement. === 32: March 17th === * Ben Lippmeier, [http://code.ouroborus.net/fp-syd/past/2011/2011-03-lippmeier-stencils.pdf Real Time Edge Detection in Haskell] === 31: February 17th === * Gary Miller, Spreadsheets and Functional Programming * Paul Steckler, Memories of Type Systems Past === --: January (no meeting) ===