@misc{indiciaec8c4ead22bc3, title = {Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version}, author = {Laith Sakka and Kirshanthan Sundararajah and Ryan R. Newton and Milind Kulkarni}, year = {2019}, url = {https://arxiv.org/abs/1904.07061}, note = {Source identifier: 1904.07061} }