Fuga Kawamata -

Registered user since Mon 13 Nov 2023

Name:Fuga Kawamata

Affiliation:Waseda University

Contributions

2024

POPL

Author of Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers within the POPL-track