
Registered user since Wed 10 Aug 2022
Name:Haochen M. Kotoi-Xie
Country:Japan
Affiliation:Kotoi-Xie Consultancy, Inc.
Personal website: https://kxc.inc
X (Twitter): https://x.com/haochenxie
GitHub: https://github.com/haochenx
Research interests:Domain Specific Languages, Type Theories, Formal Methods
Contributions
ICFP 2022-profile
View general profile
View general profile