Version 94 (modified by Ben Lippmeier, 12 years ago) (diff)


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.

Related Australasian Groups

More Information


15th March

  • Ben Lippmeier, Contextual equivalence and the ciu-theorem.
  • Liam O'Conner
  • Shane Stephens
  • Raphael Speyer


  • Eric Willigers
  • Sean Seefried
  • Tim Docker
  • Tom Sewell


  • Mark Wotton
  • Trevor McDonell?
  • Jed Wesley-Smith
  • Karl Roberts


  • Erik de Castro Lopo


  • Eric Torreborre
  • Ben Sinclair
  • Tony Sloane