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
Publications
GeckoGraph: A visual language for polymorphic types
@ 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