Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, Milind Kulkarni 0001
Sound, fine-grained traversal fusion for heterogeneous trees
PLDI, 2019.
@inproceedings{PLDI-2019-SakkaSN0,
author = "Laith Sakka and Kirshanthan Sundararajah and Ryan R. Newton and Milind Kulkarni 0001",
booktitle = "{Proceedings of the 40th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3314221.3314626",
isbn = "978-1-4503-6712-7",
pages = "830--844",
publisher = "{ACM}",
title = "{Sound, fine-grained traversal fusion for heterogeneous trees}",
year = 2019,
}











