![[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Structural recursion for querying ordered graphs]()
[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Structural recursion for querying ordered graphsHidaka, Soichiro; Asada, Kazuyuki; Hu, Zhenjiang; Kato, Hiroyuki; Nakano, Keisuke · 2013