ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Takafumi Saikawa

Registered user since Tue 12 Apr 2022

Name:Takafumi Saikawa
Country:Japan
Affiliation:Nagoya University

Contributions

ML 2022 Interpreting OCaml GADTs into Coq
OCaml 2022 Committee Member in Program Committee within the OCaml 2022-track
Show activities from other conferences

ICFP 2022-profile
View general profile