ICFP 2021
Sun 22 - Sat 28 August 2021
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


ICFP 2021 Higher-Order Probabilistic Adversarial Computations: Categorical Semantics and Program Logics
Show activities from other conferences

ICFP 2021-profile
View general profile