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, }