
Registered user since Wed 10 Aug 2022
Name:Haochen M. Kotoi-Xie
Country:Japan
Affiliation:Kotoi-Xie Consultancy, Inc.
Personal website:https://kxc.inc
Twitter:https://twitter.com/haochenxie
GitHub:https://github.com/haochenx
Research interests:Domain Specific Languages, Type Theories, Formal Methods
Contributions
OCaml 2022 | Introducing the Bindoj library, a datatype-centric generative programming library for real-world programming in OCaml | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile