wiki:WikiStart

Version 71 (modified by inkytonik, 8 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.

Related Australasian Groups

More Information

Programme

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)