conf.researchr.org / Makoto Hamana
![Makoto Hamana](https://conf.researchr.org/getProfileImage/makotohamana/06c825b9-7f2b-4bb2-a043-4c4907862f9f/small.jpg?1714042193000)
Registered user since Mon 4 Sep 2017
Name:Makoto Hamana
Bio:
Interests - General: mathematical foundations of programming languages - Theory and practice of functional programming, especially Haskell and Agda - Higher-order abstract syntax and Fiore-Plotkin-Turi style semantics - Higher-order rewriting and its categorical algebraic semantics
Country:Japan
Affiliation:Kyushu Institute of Technology, Japan
Personal website: http://solweb.mydns.jp/hamana
GitHub: https://github.com/hamana55
Research interests:Functional programming, higher-order term rewriting, and their semantics
Contributions