Shin-ya Katsumata

Registered user since Thu 3 Mar 2016

Name:Shin-ya Katsumata
Affiliation:National Institute of Informatics
Research interests:Programming language semantics, Type system


POPL 2022 Fully abstract models for effectful λ-calculi via category-theoretic logical relations
Committee Member in Program Committee within the POPL-track
Show activities from other conferences

Using general profile