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 | Towards abductive functional programming | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Blog Posts
- A student trying to make themselves at home Tue 19 Sep 2017
ICFP 2017-profile
View general profile
View general profile