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

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.

20th October

• Shane Stephens
• Tom Sewell
• Tony Sloane, Introduction to Partial Evaluation (30-40 mins)
• Ben Sinclair

17th November

• Eric Torreborre, (most certainly) The Essence of the Iterator Pattern
• Raphael Speyer
• Richard Garner, Dependent Types (longer talk)

16th February

• Eric Willigers
• Speaker 2, Talk title (if known)
• Speaker 3, Talk title (if known)
• Speaker 4, Talk title (if known)