Past Meetings, 2011

34: May 19th

• Erik de Castro Lopo: Wai, Warp and http-enumerator : OMFG, the types, they hurt my eyes!
• Ben Lippmeier, ​Flattening and Replication in Data Parallel Haskell
• Tom Sewell, Theoretical Theorem Proving (longer talk).

33: April 21st

• Ben Lippmeier, ​Falling Down the Naming Well
• Sean Seefried, ​The Yesod Framework
• Raphael Speyer, OSpec an rspec-inspired testing library for O'Caml
• Brian McKenna, ​The Yeti Language
• Open discussion of new FP-Syd scheduling arrangement.

32: March 17th

• Ben Lippmeier, ​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)