Pure Functional Programming Live ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2012