Informatics / Information theory  / Semantics of Programming Languages

Informatics / Software  / Theory of Programming Languages

Informatics / Information theory  / Term Rewriting Systems

筑波大学  -  博士（工学）   1998.03

Kyushu Institute of Technology   Faculty of Computer Science and Systems Engineering   Department of Computer Science and Networks   Professor  

Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement Reviewed International journal

Muroya K., Hamana M.

Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics   14659 LNCS   31 - 61   2024.01

Foundations of Haskell’s Rewrite Rules Based on Higher-Kinded Polymorphic Rewrite Systems Reviewed International journal

Hamana M.

Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics   14991 LNAI   79 - 95   2024.01

Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding Reviewed International journal

Hamana M.

Mathematical Structures in Computer Science   32 ( 4 )   542 - 573   2022.04

MODULAR TERMINATION FOR SECOND-ORDER COMPUTATION RULES AND APPLICATION TO ALGEBRAIC EFFECT HANDLERS Reviewed International journal

Hamana M.

Logical Methods in Computer Science   18 ( 2 )   18 - 32   2022.01

GSOL: A Confluence Checker for Haskell Rewrite Rules Reviewed

Date Y.F., Hamana M.

Computer Software   39 ( 3 )   82 - 87   2022.01