FLOPS 2024 (series) / Makoto Hamana
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
Using general profile