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.

• 22-06-2020 - 1ML Core and Modules United paper review @ FP-SYD
• 26-06-2019 - Row Polymorphism in Action @ FP-SYD
• 27-08-2018 - “Dependently Typed State Machines” @ Compose Conference Melbourne 2018 (Video)
• 25-07-2018 - “Code reuse through polymorphic variants?” @ FP-SYD
• 28-03-2018 - “Either Error Success” @ FP-SYD
• 24-05-2017 - “Idris States: Dependent types, not just for vectors?” @ FP-SYD
• 29-04-2016 - “Practical Haskell Performance” @ YOW LambdaJam 2016 (Video)
• 18-04-2016 - “Freer Monads, More Extensible Effects” @ FP-SYD (Video)
• 23-09-2015 - “Lightweight Higherkinded Polymorphism”@ FP-SYD (Video)
• 08-07-2015 - “Scalas Modular Roots” @ Scala-Syd
• 21-05-2015 - “A Crash Course in OCaml Modules” @ YOW LambdaJam 2015 (Video)
• 21-05-2014 - “RAFT: Implementing Distributed Consensus” @ YOW LambdaJam 2014 (Video)
• 03-04-2012 - “WebMachine: Building RESTful APIs with Erlang” @ Erl-Syd
• 13-03-2012 - “Riak, Ripple and Ruby” @ RORO