`Travelled to:`

1 × Brazil

1 × Poland

1 × Sweden

1 × USA

2 × Germany

2 × Japan

`Collaborated with:`

∅ M.P.Fiore K.Matsuda Z.Hu K.Nakano M.Takeichi

`Talks about:`

algebra (4) semant (3) polymorph (2) syntax (2) rewrit (2) higher (2) cyclic (2) order (2) initi (2) term (2)

## Person: Makoto Hamana

### DBLP: Hamana:Makoto

### Contributed to:

### Wrote 8 papers:

- LICS-2013-FioreH #algebra #equation #logic #multi #polymorphism #semantics #syntax
- Multiversal Polymorphic Algebraic Theories: Syntax, Semantics, Translations, and Equational Logic (MPF, MH), pp. 520–529.
- FLOPS-2012-Hamana #category theory #haskell
- Correct Looping Arrows from Cyclic Terms — Traced Categorical Interpretation in Haskell (MH), pp. 136–150.
- FoSSaCS-2011-Hamana #polymorphism #syntax
- Polymorphic Abstract Syntax via Grothendieck Construction (MH), pp. 381–395.
- TLCA-2009-Hamana #algebra #semantics
- Initial Algebra Semantics for Cyclic Sharing Structures (MH), pp. 127–141.
- ICFP-2007-MatsudaHNHT #automation #bidirectional
- Bidirectionalization transformation based on automatic derivation of view complement functions (KM, ZH, KN, MH, MT), pp. 47–58.
- PPDP-2007-Hamana #data type #higher-order #induction #semantics #type system
- Higher-order semantic labelling for inductive datatype systems (MH), pp. 97–108.
- RTA-2005-Hamana #algebra #higher-order #termination
- Universal Algebra for Termination of Higher-Order Rewriting (MH), pp. 135–149.
- PPDP-2003-Hamana #algebra #approach #term rewriting
- Term rewriting with variable binding: an initial algebra approach (MH), pp. 148–159.