Presentations

Weight and Balance

Power Curves

MPPC

VOR

ADF

Night VFR Introduction

Night VFR Human Factors

Night VFR Circuits

Night VFR Navigation

GPS Garmin 430

The Expression Problem, Generalised ∘ Functional Conf, Bangalore, India ∘ 2025-01-24

An Intuition for List Folds ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2024-09-10

Type-hole development ∘ Functional Conf, Bangalore, India ∘ 2022-03-26

Types and Tests ∘ Agile India, Bangalore, India ∘ 2020-10-16

Zippers and Algebra and Stuff ∘ Functional Conf, Bangalore India ∘ 2019-11-16

An Intuition for List Folds ∘ Functional Conf, Bangalore, India ∘ 2019-11-15

Trees That Grow ∘ Functional Conf, Bangalore, India ∘ 2019-11-15

Zippers and Algebra and Stuff ∘ LambdaConf, Boulder, Colorado, USA ∘ 2019-06-07

Zippers and Algebra and Stuff ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2018-11-13

An Intuition for List Folds ∘ Lambdaconf, Boulder, Colorado, USA ∘ 2018-06-07

Introduction to FP Using Haskell (Part 1) ∘ LambdaConf, Boulder, Colorado, USA ∘ 2018-06-04

Introduction to FP Using Haskell (Part 2) ∘ LambdaConf, Boulder, Colorado, USA ∘ 2018-06-04

Introduction to Functional Programming ∘ DDD Perth, Western Australia ∘ 2018-05-01

Introduction to Functional Programming ∘ Women Who Code, Brisbane, Australia ∘ 2018-02-28

Functional Programming in Aviation ∘ YOW! Conference, Sydney, Australia ∘ 2017-12-06

Functional Programming in Aviation ∘ YOW! Conference, Brisbane, Australia ∘ 2017-12-04

Functional Programming in Aviation ∘ YOW! Conference, Melbourne, Australia ∘ 2017-11-30

Functional Programming in Aviation ∘ YOW! Conference, Bangalore, India ∘ 2017-11-18

Functional Programming in Aviation ∘ Compose Conference, Melbourne, Australia ∘ 2017-08-28

Monad Transformers ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2017-06-13

Let's Lens, 1 day ∘ Lambdaconf, Boulder, Colorado, USA ∘ 2017-05-26

Introduction to Functional Programming, 1 day ∘ Lambdaconf, Boulder, Colorado, USA ∘ 2017-05-25

Intro to Functional Programming ∘ UQ Computing Society, Brisbane, Australia ∘ 2016-10-20

Functional Programming in Aviation ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2016-08-09

Functional Programming, Parametricity, Types ∘ YOW! West, Perth, Australia ∘ 2016-05-03

The Expression Problem and Lenses ∘ Lambdajam, Brisbane, Australia ∘ 2016-04-28

The Essential Tools of Open-Source : Functional Programming, Parametricity, Types ∘ linux.conf.au FP miniconf, Geelong, Australia ∘ 2016-02-02

Functional Programming for Business ∘ NICTA Seminar Series, Sydney, Australia ∘ 2015

Perhaps There is a Much Better Way ∘ DjangoCon 2014 conference, Brisbane, Australia ∘ 2014-08-01

Scalaz: the history, the motivation, the battles, the future ∘ LambdaJam 2014 conference, Chicago, USA ∘ 2014-07-23

Parametricity, Types are Documentation ∘ YOW! West conference, Perth, Australia ∘ 2014-05-13

Parametricity, Types are Documentation ∘ LambdaJam conference, Brisbane, Australia ∘ 2014-05-09

A Modern History of Lenses ∘ LambdaJam conference, Brisbane, Australia ∘ 2014-05-09

Comonads, Applicative Functors, Monads and other principled things ∘ Codemania conference, Auckland, New Zealand ∘ 2014-04-04

Comonads, Applicative Functors, Monads and other principled things ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2014-03-25

Monad Transformers ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2013-08-27

Zippers, Comonads & Data Structures in Scala ∘ Lambdajam, Brisbane, Australia ∘ 2013-06-21

Explain List Folds to Yourself ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2013-04-23

What is FP (for Java) ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2012-06-27

Dependency Injection Without the Gymnastics ∘ Emerging Technologies for the Enterprise, Philadelphia, USA ∘ 2012-04-11

How do I convince my boss to use my favourite FP language? ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2012

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

Configuration Without the Bugs and Gymnastics ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2012

Logging Without Side-effects ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2011

Automated Testing ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2010-07-06

How to Learn Functional Programming ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2010-06-28

Applicative Programming, Disjoint Unions, Semigroups and Non-breaking Error Handling ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2010-04-01

What Does Functional Programming Mean? ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2010-03-24

Using Lazy, Pure Programming for Navigating Remote Environments ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2010

What Does Monad Mean? ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2009-11-17

Advanced Programming Concepts using Haskell ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2009

Monadic Parsers using Haskell ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2009

Introduction to High-level Programming with Scala ∘ Brisbane Functional Programming Group, Brisbane, Australia ∘ 2008-07-28

Patterns: Reduction to the Inconsequential ∘ Queensland University of Technology, Brisbane, Australia ∘ 2008