文献
J-GLOBAL ID：201902213918150598   整理番号：19S1720941

Calculating tree navigation with symmetric relational zipper

  • 出版者サイト 複写サービスで全文入手
  • 高度な検索・分析はJDreamⅢで
著者 (2件)：
Ikeda, Yuta

Ikeda, Yuta について

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

Department of Mathematics, Faculty of Science, Kyoto University について

, 
Nishimura, Susumu

Nishimura, Susumu について

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

Department of Mathematics, Faculty of Science, Kyoto University について


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

PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation について


ページ： 101-110  発行年： 2011年 
JST資料番号： SCOPUS  ISBN： 9781450304856 
発行国： アメリカ (USA)  言語： 英語 (EN)

前のページに戻る

TOP

BOTTOM