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:
2013
2012
2011
2009
2007
2007
20052003Wrote 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.