%0 Journal Article %1 journals/pacmpl/JungDKD20 %A Jung, Ralf %A Dang, Hoang-Hai %A Kang, Jeehoon %A Dreyer, Derek %D 2020 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 41:1-41:32 %T Stacked borrows: an aliasing model for Rust. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#JungDKD20 %V 4

@article{journals/pacmpl/JungDKD20, added-at = {2020-04-16T00:00:00.000+0200}, author = {Jung, Ralf and Dang, Hoang-Hai and Kang, Jeehoon and Dreyer, Derek}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2650233ae76082a8194b66cf9c0a9e9c4/dblp}, ee = {https://doi.org/10.1145/3371109}, interhash = {e7c57f75841e04f1f14f3cf27fdefbd9}, intrahash = {650233ae76082a8194b66cf9c0a9e9c4}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {POPL}, pages = {41:1-41:32}, timestamp = {2020-04-20T12:41:58.000+0200}, title = {Stacked borrows: an aliasing model for Rust.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#JungDKD20}, volume = 4, year = 2020 }