Registered user since Thu 3 Mar 2016

Name: Shin-ya Katsumata

Affiliation: Kyoto University

Personal website: http://www.kurims.kyoto-u.ac.jp/~sinya/index-e.html

POPL 2017 Activities

• Author of A Semantic Account of Metric Preservation within the POPL-track in POPL 2017
• Show activities from other conferences