= Past Meetings, 2011 =

=== --: December (no meeting) ===

=== 40: 17th November ===
 * Sean Seefried, Generic Matrix Multiplication
 * Richard Garner, Dependent Types

=== 39: 20th October ===

 * Shane Stephens - Optional Type Inference for `JavaScript`, and `JavaScript` Type Contracts, two crazy ideas from ICFP
 * Tom Sewell - Translation games in the land of the assembler
 * Tony Sloane - Introduction to Partial Evaluation (30-40 mins) 

=== 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) ===