Search the dblp DataBase

Publications of Author

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