conf.researchr.org / Haochen M. Kotoi-Xie
![Haochen M. Kotoi-Xie](https://conf.researchr.org/getProfileImage/haochenmkotoixie/d4429b57-dd90-4616-868d-497a29c19ce8/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