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.
• Anyone who is interested is welcome to come along, see ​FP-Syd Google Group for venue information.

Related Australasian Groups

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

More Information

• Members
• Programme Setup
• Past meetings: 2008, 2009, 2010, 2011
• Use ​FP-Syd Google Group for questions, and to get an account on this wiki.

• Video Streaming on the Night

Programme

• All Tickets

• Talk Requests
• Talk Offers
• Event Ideas
• Tasks

16th February

• Ben Sinclair, A certified adder in Agda
• Raphael Speyer
• Eric Torreborre, The Essence of the Iterator Pattern
• Brian McKenna, Roy - a function language that compiles to Javascript
• Discussion of the speakers roster for 2012.

15th March

• Eric Willigers
• Ben Lippmeier, Contextual equivalence and the ciu-theorem.
• Vacant slot
• Vacant slot