Makoto Hamana Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2012
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Makoto Hamana: Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell. FLOPS 2012: 136-150
2011
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Makoto Hamana: Polymorphic Abstract Syntax via Grothendieck Construction. FOSSACS 2011: 381-395
2010
j4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Makoto Hamana: Initial Algebra Semantics for Cyclic Sharing Tree Structures. Logical Methods in Computer Science 6(3) (2010)
2009
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Makoto Hamana: Initial Algebra Semantics for Cyclic Sharing Structures. TLCA 2009: 127-141
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Makoto Hamana: Semantic Labelling for Proving Termination of Combinatory Reduction Systems. WFLP 2009: 62-78
2007
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi: Bidirectionalization transformation based on automatic derivation of view complement functions. ICFP 2007: 47-58
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Makoto Hamana: Higher-order semantic labelling for inductive datatype systems. PPDP 2007: 97-108
2006
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Makoto Hamana: An initial algebra approach to term rewriting systems with variable binders. Higher-Order and Symbolic Computation 19(2-3): 231-262 (2006)
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Neil Ghani, Tarmo Uustalu, Makoto Hamana: Explicit substitutions and higher-order syntax. Higher-Order and Symbolic Computation 19(2-3): 263-282 (2006)
2005
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Makoto Hamana: Universal Algebra for Termination of Higher-Order Rewriting. RTA 2005: 135-149
2004
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Makoto Hamana: Free S-Monoids: A Higher-Order Syntax with Metavariables. APLAS 2004: 348-363
2003
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Makoto Hamana: Term rewriting with variable binding: an initial algebra approach. PPDP 2003: 148-159
2001
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Makoto Hamana: A Logic Programming Language Based on Binding Algebras. TACS 2001: 243-262
1997
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
[j2]
2Zhenjiang Hu
[c6]
3Kazutaka Matsuda
[c6]
4Keisuke Nakano
[c6]
5Masato Takeichi
[c6]
6Tarmo Uustalu
[j2]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sat May 25 03:38:59 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page