Art
J-GLOBAL ID：201902213918150598   Reference number：19S1720941

Calculating tree navigation with symmetric relational zipper

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (2)：
Ikeda, Yuta

About Ikeda, Yuta

(Department of Mathematics, Faculty of Science, Kyoto University)

About Department of Mathematics, Faculty of Science, Kyoto University

, 
Nishimura, Susumu

About Nishimura, Susumu

(Department of Mathematics, Faculty of Science, Kyoto University)

About Department of Mathematics, Faculty of Science, Kyoto University


Material：
PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

About PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation


Page： 101-110  Publication year： 2011 
JST Material Number： SCOPUS  ISBN： 9781450304856 
Country of issue： United States (USA)  Language： English (EN)

Return to Previous Page

TOP

BOTTOM