Shin-ya Katsumata

Registered user since Thu 3 Mar 2016

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

Contributions

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

POPL 2022-profile
View general profile