conf.researchr.org / Chun Kit Lam
Registered user since Thu 8 Jul 2021
Name:Chun Kit Lam
Country:Hong Kong
Affiliation:Hong Kong University of Science and Technology
Personal website: https://pca006132.cc
GitHub: https://github.com/pca006132
Contributions
2026
ICFP
- Author of An Exploration of First-Class Constrained Types: Semantics, Soundness, Principal Type Inference, and a Characterization of Termination within the ICFP Artifacts-track
- Author of First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination within the ICFP Papers-track