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.