@article{Bao_2021,
    title = {Reachability types: tracking aliasing and separation in higher-order functional programs},
    volume = {5},
    issn = {2475-1421},
    url = {http://dx.doi.org/10.1145/3485516},
    doi = {10.1145/3485516},
    number = {OOPSLA},
    journal = {Proceedings of the ACM on Programming Languages},
    publisher = {Association for Computing Machinery (ACM)},
    author = {Bao, Yuyan and Wei, Guannan and Bračevac, Oliver and Jiang, Yuxuan and He, Qiyang and Rompf, Tiark},
    year = {2021},
    month = {oct},
    pages = {1–32},
    date-added = {2025-7-6 5:40:24 +0100}
}

@article{Bao_2021, title = {Reachability types: tracking aliasing and separation in higher-order functional programs}, volume = {5}, issn = {2475-1421}, url = {http://dx.doi.org/10.1145/3485516}, doi = {10.1145/3485516}, number = {OOPSLA}, journal = {Proceedings of the ACM on Programming Languages}, publisher = {Association for Computing Machinery (ACM)}, author = {Bao, Yuyan and Wei, Guannan and Bračevac, Oliver and Jiang, Yuxuan and He, Qiyang and Rompf, Tiark}, year = {2021}, month = {oct}, pages = {1–32}, date-added = {2025-7-6 5:40:24 +0100} }