Talks
I like giving talks to User groups and Conferences, along with helping to organise our local Functional Programming User Group. At the moment I'm interested in FP Programming in the large and building maintainable / reliable systems in FP.
- Towards a Benchmarking Service for OCaml
OCaml Workshop 2026, 24 Aug 2026
[schedule] [video]
- Improving the Observability of Multicore OCaml
SAPLING 2025, Sydney, 24 Nov 2025
[schedule] [abstract]
- OCaml behind the scenes: effects
FP-SYD, 24 Apr 2024
[details]
- OCaml for Fun and Profit
YOW! Conference 2023, Melbourne, Brisbane and Sydney, 5 Dec 2023
[details] [video]
- Homogeneous builds with OBuilder and OCaml
OCaml Workshop 2022 (Colocated with ICFP), 16 Sep 2022
[paper] [video]
- Parallel and Concurrent programming in OCaml 5.0
FP-SYD, 25 May 2022
[code]
- 1ML Core and Modules United paper review
FP-SYD, 22 Jun 2020
- Row Polymorphism in Action
FP-SYD, 26 Jun 2019
- Dependently Typed State Machines
Compose Conference Melbourne 2018, 27 Aug 2018
[slides] [video]
- Code reuse through polymorphic variants?
FP-SYD, 25 Jul 2018
[slides]
- Either Error Success
FP-SYD, 28 Mar 2018
[slides]
- Idris States: Dependent types, not just for vectors?
FP-SYD, 24 May 2017
[slides]
- Practical Haskell Performance
YOW LambdaJam 2016, 29 Apr 2016
[slides] [video]
- Freer Monads, More Extensible Effects
FP-SYD, 18 Apr 2016
[slides] [video]
- Lightweight Higherkinded Polymorphism
FP-SYD, 23 Sep 2015
[slides] [video]
- Scalas Modular Roots
Scala-Syd, 8 Jul 2015
[slides]
- A Crash Course in OCaml Modules
YOW LambdaJam 2015, 21 May 2015
[slides] [video]
- RAFT: Implementing Distributed Consensus
YOW LambdaJam 2014, 21 May 2014
[slides (pdf)] [video]
- WebMachine: Building RESTful APIs with Erlang
Erl-Syd, 3 Apr 2012
[slides]
- Riak, Ripple and Ruby
RORO, 13 Mar 2012
[slides]