Makoto Hamana

Makoto Hamana

Gunma University - Maebashi / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 431355
群馬大学
person_outline Makoto Hamana's MOST POPULAR ARTICLES
1-) Bidirectionalization transformation based on automatic derivation of view complement functionsK Matsuda, Z Hu, K Nakano, M Hamana, M TakeichiACM SIGPLAN Notices 42 (9), 47-58, 20071552007
2-) Free Σ-monoids: A higher-order syntax with metavariablesM HamanaAsian Symposium on Programming Languages and Systems, 348-363, 2004542004
3-) Representing cyclic structures as nested datatypesN Ghani, M Hamana, T Uustalu, V VeneProc. of 7th Symp. on Trends in Functional Programming, TFP 2006, 2006392006
4-) Universal algebra for termination of higher-order rewritingM HamanaInternational Conference on Rewriting Techniques and Applications, 135-149, 2005332005
5-) Higher-order semantic labelling for inductive datatype systemsM HamanaProceedings of the 9th ACM SIGPLAN International Conference on Principles …, 2007302007