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.

Related Australasian Groups

• ​Brisbane Functional Programming Group
• ​Melbourne Functional Programming Union
• ​Wellington Functional Programming UG

More Information

• Members
• Programme Setup
• ​FP-Syd Google Group
• Past meetings: 2008, 2009, 2010, 2011

• Video Streaming on the Night

Programme

• All Tickets

• Talk Requests
• Talk Offers
• Event Ideas
• Tasks

18th August

• Mark Wotton
• Erik de Castro Lopo: My recent adventures in DDC land.
• Tom Sewell
• Sean Seefried: Substitution in a type preserving compiler (longer talk).

8th September

(This meeting was moved a week earlier due to conflict with ICFP)

• Eric Willigers
• Raphael Speyer
• Paul Steckler
• Ben Sinclair

20th October

• Ben Lippmeier
• Shane Stephens
• Tony Sloane

17th November

• Eric Torreborre, (most certainly) The Essence of the Iterator Pattern
• Speaker 2, Talk title (if known)
• Richard Garner, Dependent Types (longer talk)