Haochen M. Kotoi-Xie

Registered user since Wed 10 Aug 2022

Name:Haochen M. Kotoi-Xie
Country:Japan
Affiliation:Kotoi-Xie Consultancy, Inc.
Personal website: https://kxc.inc
Research interests:Domain Specific Languages, Type Theories, Formal Methods

Contributions