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
| Haskell 2022 | Committee Member in Program Committee within the Haskell 2022-track Demos | ||||||||||||||||||||||||||||||||||||||||
| HIW 2022 | A Termination Checker for Haskell Rewrite Rules | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2022-profile
View general profile
View general profile