| |
| 2007 | ||
|---|---|---|
| 9 | EE | Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi: Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP 2007: 47-58 |
| 8 | EE | Makoto Hamana: Higher-order semantic labelling for inductive datatype systems. PPDP 2007: 97-108 |
| 2006 | ||
| 7 | EE | Makoto Hamana: An initial algebra approach to term rewriting systems with variable binders. Higher-Order and Symbolic Computation 19(2-3): 231-262 (2006) |
| 6 | EE | Neil Ghani, Tarmo Uustalu, Makoto Hamana: Explicit substitutions and higher-order syntax. Higher-Order and Symbolic Computation 19(2-3): 263-282 (2006) |
| 2005 | ||
| 5 | EE | Makoto Hamana: Universal Algebra for Termination of Higher-Order Rewriting. RTA 2005: 135-149 |
| 2004 | ||
| 4 | EE | Makoto Hamana: Free S-Monoids: A Higher-Order Syntax with Metavariables. APLAS 2004: 348-363 |
| 2003 | ||
| 3 | EE | Makoto Hamana: Term rewriting with variable binding: an initial algebra approach. PPDP 2003: 148-159 |
| 2001 | ||
| 2 | EE | Makoto Hamana: A Logic Programming Language Based on Binding Algebras. TACS 2001: 243-262 |
| 1997 | ||
| 1 | Makoto Hamana: Equivalence of the Quotient Term Model and the Least Complete Herbrand Model for a Functional Logic Language. Journal of Functional and Logic Programming 1997(1): (1997) | |
| 1 | Neil Ghani | [6] |
| 2 | Zhenjiang Hu | [9] |
| 3 | Kazutaka Matsuda | [9] |
| 4 | Keisuke Nakano | [9] |
| 5 | Masato Takeichi | [9] |
| 6 | Tarmo Uustalu | [6] |