Sound, Fine-grained Traversal Fusion for Heterogeneous Trees

Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni
PLDI 2019
Preprint PDF Code