Tony Fu
I am a programming language researcher based in Melbourne Australia.
My research interests include functional programming, type systems, compiler techniques, and programming tools. My work aims to make programming in statically-typed languages more streamlined and fun, and to lower the barrier of teaching and learning these languages.
I currently work as a solo/independent researcher, but I am open to collaborations and research positions.
Projects
Publications
Goanna: a novel approach for automated type error debugging
@ Automated Software Engineering 2026
GeckoGraph: A visual language for polymorphic types (2025 Best paper award)
@ Journal of Computer Languages 2025
PhD Thesis: Interactive Haskell Type Inference Exploration
@ Monash University 2025
Interactive Haskell Type Inference Exploration - Extended Abstract
@ ICFP TyDe 2021
Find me