Sound, Fine-grained Traversal Fusion for Heterogeneous Trees

Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni

PLDI 2019

Preprint PDF Code