Resources curated by the group
Softwares & Tools
- Type Inference Zoo : Explore with Type Inference Algorithms
- CP Playground : The in-browser implementation of Compositional Programming
- F2J - FCore to Java : A compiler from FCore to Java
- FCore : A functional core language
Code Repositories
- Recursive Subtyping for All (Artifacts) : The Coq formalization of paper "Recursive Subtyping for All".
- Nested Composition (Artifact) : The Coq formalization of paper "The Essence of Nested Composition".
- Type-Safe Modular Parsing : In Scala
- FCore : Research middleware compiler from System F-based languages to Java with the Imperative Functional Object encoding.
- ShyFramework : This repository contains the implementation of Shy related to "Scrap Your Boilerplate with Object Algebras"
- EmbeddedDSL : Composable algebra with dependencies
- FParser : A monadic parser combinators library implementation in F2J (FCore to Java). (Master Dissertation Project)
- Efficient Parser and Pretty Printer Combinators in F2J : Master Dissertation by Yuteng Zhong, Yi Li, and Fan Xia
Media & Talks
- 基础软件技术分享 (in Chinese) , International Digital Economy Academy, 26 June 2023
- Distributing Intersection and Union Types with Splits and Duality , Functional Pearl, ICFP 2021
- Tomas Tauber Interview , Hong Kong PhD Fellowship Awardee – An Interview by HKU Graduate School
Final Year Projects
- Reflex-based FRP GUI Framework (April 2025)
- Decidable Bounded Quantification (April 2025)
- Programming Language with Capabilities Model (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 PL (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)