Tony Fu

Programming Language Researcher, Programmer, Traveller

I am a researcher in prgramming languages. My main interests are type systems, semantics, compiler implementaion, and programming tools for making writing more code enjoyable. My research style is a combination of theoretical computer science mixed with human-centered appraoches. I like to first find a brilliant but under-visited idea in PL research, come up with a clever implementation, and then run some human studies to see how it would perform in real life.

Social Media

Google Scholar
GitHub @maybetonyfu
X @tonyfu404

Publications

GeckoGraph: A visual language for polymorphic types @ Journal of Computer Languages 2025
PhD Thesis: Interactive Haskell Type Inference Exploration @ Monash University 2025
Goanna: Resolving Haskell Type Errors With Minimal Correction Subsets @ Pre-print 2024
ChameleonIDE: Untangling Type Errors Through Interactive Visualization and Exploration @ ICSE 2023
Interactive Haskell Type Inference Exploration - Extended Abstract @ ICFP TyDe 2021