Functional Programming Sydney

• We are a seminar and social group for people in Sydney, Australia interested in Functional Programming.
• We're interested in Clean, Erlang, F#, Haskell, LISP, Mercury, Ocaml, Scala, Scheme, and more.
• We also have a contingent interested in theorem provers such as Coq and Isabelle.
• Meetings are held on the third Thursday evening of each month.
• The first meeting took place in February 2008 and we regularly get 20-30 attendees.

More Information

• Programme Setup
• Members
• ​FP-Syd Google Group
• ​Erik's FP-Syd blog has a summary of past meetings.

Programme

• All Tickets

• Talk Requests
• Talk Offers
• Event Ideas
• Tasks

19th May

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

16th June

• Eric Willigers, Type Systems in Theorem Provers
• Raphael Speyer, JoCaml
• Dominic Verity, Category Theory part II (longer talk).

21st July

• Shane Stephens
• Eric Torreborre, specs2: go functional! (40 mins)
• Tony Sloane, Functional Pretty Printer Combinators (longer talk)

18th August

• Speaker 1, Talk title (if known)
• Speaker 2, Talk title (if known)
• Speaker 3, Talk title (if known)
• Sean Seefried: Substitution in a type preserving compiler.