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 either the last or second last Wednesday 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.
Programme
28th August
- Julian Gamble: Simulation testing with Datomic
- Tom Sewell: Things I've learned about SAT
- Shane Stephens: Generating a Functional API for Web Animations
18th September (moved forward 1 week)
- George Roldugin: Functional Computer Music
- Maun Suang Boey: Shen: It's Lisp, Jim, but not as we know it.
16th October (moved forward 1 week)
- Erik de Castro Lopo: ICFP Retrospective
- Ben Lippmeier: Data Flow Fusion with Series Expressions
- Liam O'Connor: CDSL: A Restricted Functional Language for Verification of File Systems
27th November
- Barry Jay
- Maxwell Swadling
- Thomas Sutton
Download in other formats: