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