フォロー
Makoto Hamana
Makoto Hamana
Associate Professor, Gunma University
確認したメール アドレス: cs.gunma-u.ac.jp - ホームページ
タイトル
引用先
引用先
Bidirectionalization transformation based on automatic derivation of view complement functions
K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi
ACM SIGPLAN Notices 42 (9), 47-58, 2007
1542007
Free Σ-monoids: A higher-order syntax with metavariables
M Hamana
Asian Symposium on Programming Languages and Systems, 348-363, 2004
482004
Representing cyclic structures as nested datatypes
N Ghani, M Hamana, T Uustalu, V Vene
Proc. of 7th Symp. on Trends in Functional Programming, TFP 2006, 2006
392006
Universal algebra for termination of higher-order rewriting
M Hamana
International Conference on Rewriting Techniques and Applications, 135-149, 2005
302005
Explicit substitutions and higher-order syntax
N Ghani, T Uustalu, M Hamana
Higher-Order and Symbolic Computation 19 (2), 263-282, 2006
282006
Higher-order semantic labelling for inductive datatype systems
M Hamana
Proceedings of the 9th ACM SIGPLAN International Conference on Principles …, 2007
272007
Term rewriting with variable binding: An initial algebra approach
M Hamana
Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003
272003
A foundation for GADTs and inductive families: dependent polynomial functor approach
M Hamana, M Fiore
Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 59-70, 2011
262011
Term rewriting with sequences
M Hamana
Proc. of the First Int. Theorema Workshop. Technical report 97, 20, 1997
201997
How to prove your calculus is decidable: practical applications of second-order algebraic theories and computation
M Hamana
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017
182017
A logic programming language based on binding algebras
M Hamana
International Symposium on Theoretical Aspects of Computer Software, 243-262, 2001
172001
Multiversal polymorphic algebraic theories: syntax, semantics, translations, and equational logic
M Fiore, M Hamana
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 520-529, 2013
162013
Initial algebra semantics for cyclic sharing tree structures
M Hamana
Logical Methods in Computer Science 6, 2010
152010
Polymorphic abstract syntax via Grothendieck construction
M Hamana
International Conference on Foundations of Software Science and …, 2011
122011
Initial algebra semantics for cyclic sharing structures
M Hamana
International Conference on Typed Lambda Calculi and Applications, 127-141, 2009
122009
Polymorphic rewrite rules: confluence, type inference, and instance validation
M Hamana
International Symposium on Functional and Logic Programming, 99-115, 2018
112018
Semantic labelling for proving termination of combinatory reduction systems
M Hamana
International Workshop on Functional and Constraint Logic Programming, 62-78, 2009
112009
Strongly normalising cyclic data computation by iteration categories of second-order algebraic theories
M Hamana
1st International Conference on Formal Structures for Computation and …, 2016
92016
Bidirectionalizing programs with duplication through complementary function derivation
K Matsuda, Z Hu, K Nakano, M Hamana, M Takeichi
Computer Software 26 (2), 56-75, 2009
92009
An initial algebra approach to term rewriting systems with variable binders
M Hamana
Higher-order and symbolic computation 19 (2), 231-262, 2006
72006
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20