![Makoto Hamana](https://icfp23.sigplan.org/getProfileImage/makotohamana/c7c4dd6f-a145-46fc-9f85-ca307be875ae/small.jpg?1714042193000)
Registered user since Mon 4 Sep 2017
Name:Makoto Hamana
Country:Japan
Affiliation:Gunma University, Japan
Personal website: http://www.cs.gunma-u.ac.jp/hamana/
Research interests:Functional programming, higher-order term rewriting, and their semantics
Contributions
ICFP 2023-profile
View general profile
View general profile