Sound, fine-grained traversal fusion for heterogeneous trees.

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

Browse the full PLDI paper archive.