September 2023 — Rust and functional programming (source, slides)
BFPG presentation.
April 2019 — Lambda Calculus (source, slides)
Guest lecture for COMP2048 at University of Queensland.
March 2019 — Type Inference (source, slides, recording)
BFPG presentation.
May 2018 — Snake Wrangling - the journey of designing hypthon (source, recording)
Talk for YOW! Lambda Jam 2018.