ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
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

Show activities from other conferences

ICFP 2022-profile
View general profile