Name:Makoto Hamana

Country:Japan

Affiliation:Gunma University, Japan

Research interests:mathematical foundations of programming languages, Theory and practice of functional programming, Higher-order rewriting systems