2021Spring
Labs/Assignments of 2021 Spring
Possibly Available
About
Ph.D. student @hkuplg, Programming Languages
Evidence-backed skills
Repositories
OCamlTiger
an OCaml solution of "Modern Compiler Implementation in ML" (in progress)
2019Fall
EE208/CS221 homework
QuickSub
Artifact for POPL 2025 paper "QuickSub: Efficient Iso-Recursive Subtyping"
Full-Iso-Recursive-Types
Artifact for the OOPSLA 2024 paper "Full Iso-Recursive Types"
EE447-Project
Distributed Computing Platform
my_leetcode
beginner
type-inference-zoo-wasm
🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/
type-inference-zoo-frontend
🦖 Frontend for https://zoo.cuichen.cc/ , a playground to explore with type Inference algorithms.
epit25
epit 2025 course (yannick+damien)