%0 Journal Article %1 journals/pacmpl/WeiBJBR24 %A Wei, Guannan %A Bracevac, Oliver %A Jia, Songlin %A Bao, Yuyan %A Rompf, Tiark %D 2024 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 393-424 %T Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#WeiBJBR24 %V 8

@article{journals/pacmpl/WeiBJBR24, added-at = {2024-02-10T00:00:00.000+0100}, author = {Wei, Guannan and Bracevac, Oliver and Jia, Songlin and Bao, Yuyan and Rompf, Tiark}, biburl = {https://www.bibsonomy.org/bibtex/2421022af6fbaa01f0df0ee46476483d8/dblp}, ee = {https://doi.org/10.1145/3632856}, interhash = {a374d363f198cde112060950f535d9ea}, intrahash = {421022af6fbaa01f0df0ee46476483d8}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {393-424}, timestamp = {2024-04-08T09:54:41.000+0200}, title = {Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#WeiBJBR24}, volume = 8, year = 2024 }