![John Hui](https://popl24.sigplan.org/getProfileImage/johnhui/ce130500-dcee-4a67-9f51-064d6ddbc0fa/small.jpg?1711464319000)
Registered user since Fri 15 Jan 2021
Name:John Hui
Country:United States
Affiliation:Columbia University, New York
Personal website: https://j-hui.com
X (Twitter): https://x.com/johnjohnhui
GitHub: https://github.com/j-hui
Contributions
2024
POPL 2024-profile
View general profile
View general profile