Compose 2016

C◦mp◦se :: Melbourne

About 2016 2017 2018 2019

Keynote: Playing with Graphics and Animations in Haskell

Manuel Chakravarty, 2016 (44 minutes)

haskell graphics

Practical Programming in an Exception Free World

Sharon Holliday, 2016 (25 minutes)

scala exceptions introductory

Plasma Progamming Language

Paul Bone, 2016 (30 minutes)

language_design plasma

Datomic in Production

Alistair Roche, 2016 (27 minutes)

datomic clojure war_story

Using Cloud-Haskell to Build a Continuous Integration Platform

Finlay Thompson, 2016 (26 minutes)

haskell ci

Equational Reasoning and Intended Semantics in Functional Programming

Lee Naish, 2016 (29 minutes)

equational_reasoning

Getting Work Done With the Eff Monad in Scala

Ben Hutchison, 2016 (25 minutes)

scala effects monads

The Extended Functor Family

George Wilson, 2016 (22 minutes)

functor category_theory

Types All The Way Down

Kris Jenkins, 2016 (21 minutes)

webdev types elm

Productionisation of Functional Optics

Brian McKenna, 2016 (23 minutes)

optics

The Joy of Refactoring with Strong, Static Types

Sean Seefried, 2016 (22 minutes)

types refactoring

Functional Eyes

Magdalena Cassel & Aaron Edwards, 2016 (24 minutes)

functional_principles