![Haochen M. Kotoi-Xie](https://icfp22.sigplan.org/getProfileImage/haochenmkotoixie/2ac3d5e5-1ed1-4ce1-be75-2b8079b5843e/small.jpg?1712284107000)
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