Tony Fu

Programming Language Researcher, Programmer, Traveller

I am a researcher in programming languages. My main interests are type systems, semantics, compiler implementaion, and programming tools for making writing more code enjoyable. My research often combines theoretical computer science and human-centered appraoches.

Social Media

Google Scholar
GitHub @maybetonyfu
X @tonyfu404

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