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
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