![Makoto Hamana](https://conf.researchr.org/getProfileImage/makotohamana/b929ecee-8659-4830-adec-4ac8f857edd9/small.jpg?1717835561000)
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