Informatics / Software  / Theory of Programming Languages

Informatics / Information theory  / Semantics of Programming Languages

Informatics / Information theory  / Term Rewriting Systems

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

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

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

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

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

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