TY - RPRT TI - Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees - Extended Version AU - Laith Sakka AU - Kirshanthan Sundararajah AU - Ryan R. Newton AU - Milind Kulkarni PY - 2019 UR - https://arxiv.org/abs/1904.07061 ID - 1904.07061 ER -