conf.researchr.org / Koko Muroya
Registered user since Fri 14 Jul 2017
Name: Koko Muroya
Affiliation: University of Birmingham, UK
Personal website: http://www.cs.bham.ac.uk/~kxm538/
Research interests: semantics & program language theory
Contributions
| 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
- A student trying to make themselves at home Tue 19 Sep 2017