Registered user since Mon 4 Sep 2017
Name:Makoto Hamana
Country:Japan
Affiliation:Gunma University, Japan
Personal website: https://www.cs.gunma-u.ac.jp/~hamana/
Research interests:mathematical foundations of programming languages, Theory and practice of functional programming, Higher-order rewriting systems
Contributions
ICFP 2017-profile
View general profile
View general profile