Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano. Structural recursion for querying ordered graphs. In Greg Morrisett, Tarmo Uustalu, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013. pages 305-318, ACM, 2013. [doi]
Abstract is missing.