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

Goanna Programming Language

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
ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration @ ICSE 2023
Interactive Haskell Type Inference Exploration - Extended Abstract @ ICFP TyDe 2021

Find me

Email: tonyfu@fastmail.com
Google Scholar
GitHub @maybetonyfu
X @tonyfu404