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]
@inproceedings{HidakaAHKN13,
title = {Structural recursion for querying ordered graphs},
author = {Soichiro Hidaka and Kazuyuki Asada and Zhenjiang Hu and Hiroyuki Kato and Keisuke Nakano},
year = {2013},
doi = {10.1145/2500365.2500608},
url = {http://doi.acm.org/10.1145/2500365.2500608},
researchr = {https://researchr.org/publication/HidakaAHKN13},
cites = {0},
citedby = {0},
pages = {305-318},
booktitle = {ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013},
editor = {Greg Morrisett and Tarmo Uustalu},
publisher = {ACM},
isbn = {978-1-4503-2326-0},
}