Media

• 基础软件技术分享 (in Chinese), International Digital Economy Academy, 26 June 2023.
• Distributing Intersection and Union Types with Splits and Duality (Functional Pearl), ICFP 2021.
• Tomas Tauber (Hong Kong PhD Fellowship Awardee) – An Interview by HKU Graduate School.

Final Year Projects

• A Comprehensive Pure-Haskell Native Desktop Reflex-based Functional Reactive Programming GUI Framework + Example Application, April 2025.
• Decidable Bounded Quantification, April 2025.
• Programming Language with Capabilities Model using First Class Environments, April 2025.
• Programming Language with Novel Type Inferences, April 2025.
• Lightweight Game Engine for Modern C++, April 2024.
• Note Taking System, April 2024.
• Formal methods and their application in programming languages, April 2023.
• Compiling Merge Operator to JavaScript, April 2022.
• Build your Efficient Programming Language Quickly!, April 2016.
• Compiler Infrastructure for a new Functional Language, April 2016.
• The Functional Wiki, April 2016.