Makoto Hamana

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

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

Coauthor Index

1Neil Ghani [6]
2Zhenjiang Hu [9]
3Kazutaka Matsuda [9]
4Keisuke Nakano [9]
5Masato Takeichi [9]
6Tarmo Uustalu [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)