Past Meetings, 2011

16th June

• Eric Willigers, ​Type Systems in Theorem Provers
• Raphael Speyer, JoCaml: ​Concurrent Programming with the Join Calculus
• Dominic Verity, ​Category Theory part II (longer talk).

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, ​OSpecl an rspec-inspired testing library for OCaml
• 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)