Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer
POPL, 2009.
@inproceedings{POPL-2009-MorihataMHT,
author = "Akimasa Morihata and Kiminori Matsuzaki and Zhenjiang Hu and Masato Takeichi",
booktitle = "{Proceedings of the 36th Symposium on Principles of Programming Languages}",
doi = "10.1145/1480881.1480905",
editor = "Zhong Shao and Benjamin C. Pierce",
isbn = "978-1-60558-379-2",
pages = "177--185",
publisher = "{ACM}",
title = "{The third homomorphism theorem on trees: downward & upward lead to divide-and-conquer}",
year = 2009,
}