Version 33 (modified by Erik de Castro Lopo, 13 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.

More Information


19th May

  • Erik de Castro Lopo: Wai, Warp and http-enumerator : OMFG, the types, they hurt my eyes!
  • Ben Lippmeier, Hacking Data Parallel Haskell
  • Tom Sewell, Theoretical Theorem Proving (longer talk).

16th June

  • Eric Willigers, Type Systems in Theorem Provers
  • Raphael Speyer, JoCaml
  • Dominic Verity, Category Theory part II (longer talk).

21st July

  • Shane Stephens
  • Eric Torreborre, specs2: go functional! (40 mins)
  • Tony Sloane, Functional Pretty Printer Combinators (longer talk)

18th August

  • Speaker 1, Talk title (if known)
  • Speaker 2, Talk title (if known)
  • Speaker 3, Talk title (if known)
  • Sean Seefried: Substitution in a type preserving compiler (longer talk).