ETAPS 2019 (series) / Koko Muroya
![Koko Muroya](https://conf.researchr.org/getProfileImage/kokomuroya/87c94794-f957-4cab-81cb-cebd26ec01c5/small.jpg?1711512184000)
Registered user since Fri 14 Jul 2017
Name:Koko Muroya
Affiliation:RIMS, Kyoto University, JP & University of Birmingham, UK
Personal website: http://www.cs.bham.ac.uk/~kxm538/
Research interests:semantics & program language theory
Contributions
ETAPS 2019-profile
View general profile
View general profile