Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Makoto Hamana Home Page
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi, Bidirectionalization Transformation based on Automatic Derivation of View Complement Functions, 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), to appear.
M. Hamana, Higher-Order Semantic Labelling for Inductive Datatype Systems,
Ninth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2007),
ACM Press, pp.97-108, 2007.
Available: Paper in the ACM Digital Library,
PDF,
Slides of a talk at PPDP'07
N. Ghani, M. Hamana, T. Uustalu, V. Vene.
Representing Cyclic Structures as Nested Datatypes,
Proceedings of 7th Symposium on Trends in Functional Programming
(TFP 2006),
pp. 173-188, University of Nottingham, April 2006.
Available: PDF
M. Hamana,
Universal Algebra for Termination of Higher-Order Rewriting,
16th International Conference on Rewriting Techniques and Applications
(RTA'05),
Lecture Notes in Computer Science 3467, Springer, pp. 135-149, 2005.
Available: PDF,
Slides of a talk at RTA'05
M. Hamana, Free Σ-monoids: A Higher-Order Syntax with Metavariables,
The Second Asian Symposium on Programming Languages and Systems (APLAS 2004),
Lecture Notes in Computer Science 3202, Springer, pp. 348-363, 2004.
Available: PDF
M. Hamana, Term Rewriting with Variable Binding: An Initial Algebra Approach,
Fifth ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2003), ACM Press, pp.148-159, 2003.
Available: Paper in the ACM Digital Library, DVI, PS
M. Hamana, A Logic Programming Language based on Binding Algebras,
International Symposium on Theoretical Aspects of Computer Software (TACS 2001), Lecture Notes in Computer Science 2215, Springer, pp. 243-262,
2001.
Abstract: English
Available: PDF
M. Hamana, Semantics for Interactive Higher-order Functional-logic Programming,
Doctoral Thesis, University of Tsukuba, 1998.
Abstract: English
Available: DVI,PS
M. Hamana, Algebraic Semantics for Higher-Order Functional-Logic Programming,
Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, World Scientific, Singapore, pp. 194-209, 1996.
Abstract: English, Japanese
Available: DVI, PS,PDF
M. Hamana, Semantics of a Functional-Logic Programming Language,
Master Thesis, University of Tsukuba, 1995.
M. Hamana, T. Nishioka, K. Nakahara, A. Middeldorp and T.Ida, 作用型項書換え系に基づく関数論理型言語の設計と実装 (A Design and Implementation of a Functional-Logic Language Based on Applicative Term Rewriting Systems),
情報処理学会論文誌 (Transactions of Information Processing Society of Japan), Vol. 36, No. 8, 1897-1905, in Japanese, pp. 1897-1905, 1995.
Abstract: Japanese
Miscellaneous
M. Hamana. Simple beta0-Unification for Terms with Context Holes, UNIF 2002, July 2002, Paper, Slides.
M. Hamana. Interactive Functional-logic Programming by Conditional Term Rewriting Systems,
Proceedings of JSSST Workshop on Programming and Programming Languages (PPL'99), 1999.
Available: DVI, PS
M. Hamana, Term rewriting with sequences,
Proceedings of the First International Theorema Workshop, Report Series No. 97-20. RISC-Linz, Johannes Kepler University, 1997.
Available: DVI, PS
Address
IPL, Dept. of Mathematical Informatics,
Graduate School of Information Science and Technology,
University of Tokyo,
7-3-1 Hongo, Bunkyo-ku, 113-8656 Tokyo,
JAPAN
E-mail: hamana ## ipl.t.u-tokyo.ac.jp (replace ## with @)
WWW: www.ipl.t.u-tokyo.ac.jp/~hamana/