FLOPS 2024
Wed 15 - Fri 17 May 2024 Kumamoto, Japan
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
Research interests:Functional programming, higher-order term rewriting, and their semantics

Contributions

Show activities from other conferences

FLOPS 2024-profile
View general profile