= 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 == * [http://www.bfpg.org/ Brisbane Functional Programming Group] * [http://sites.google.com/site/fpunion/ Melbourne Functional Programming Union] * [http://groups.google.com/group/wellington-fp Wellington Functional Programming UG] == More Information == * [wiki:Members Members] * [wiki:Programme Programme Setup] * [https://groups.google.com/forum/#!forum/fp-syd FP-Syd Google Group] * Past meetings: [wiki:Past/2008 2008], [wiki:Past/2009 2009], [wiki:Past/2010 2010], [wiki:Past/2011 2011] * [wiki:Streaming Video Streaming on the Night] == Programme == * [http://fp-syd.ouroborus.net/report/8 All Tickets] * [http://fp-syd.ouroborus.net/report/10 Talk Requests] * [http://fp-syd.ouroborus.net/report/11 Talk Offers] * [http://fp-syd.ouroborus.net/report/12 Event Ideas] * [http://fp-syd.ouroborus.net/report/13 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)