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

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