conf.researchr.org / Koko Muroya
Koko Muroya

Registered user since Fri 14 Jul 2017

Name:Koko Muroya
Affiliation:RIMS, Kyoto University, JP
Personal website:http://www.kurims.kyoto-u.ac.jp/~kmuroya/
Research interests:programming language theory

Contributions

FLOPS 2022 Committee Member in Program Committee within the FLOPS 2022-track
POPL 2022 Committee Member in Program Committee within the POPL-track
ML 2020 Committee Member in Program Committee within the ML 2020-track
‹Programming› 2021 Author of Transparent Synchronous Dataflow within the Research Papers-track
PERR 2019 Author of Local Reasoning for Robust Observational Equivalence within the PERR-track
GaLoP 2019 Committee Member in Program Committee within the GaLoP-track
ML 2017 Author of Towards abductive functional programming within the ML 2017-track
POPL 2016 Author of Memoryful Geometry of Interaction II: Recursion and Adequacy within the Research Papers-track

Blog Posts