%0 Journal Article %1 journals/pacmpl/JacobsB23 %A Jacobs, Jules %A Balzer, Stephanie %D 2023 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1027-1057 %T Higher-Order Leak and Deadlock Free Locks. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#JacobsB23 %V 7

@article{journals/pacmpl/JacobsB23, added-at = {2023-02-10T00:00:00.000+0100}, author = {Jacobs, Jules and Balzer, Stephanie}, biburl = {https://www.bibsonomy.org/bibtex/2b37e4693de0234bc5008c0b71a45e4c8/dblp}, ee = {https://doi.org/10.1145/3571229}, interhash = {82d2b66931b450f3646e0f4829a9ad5b}, intrahash = {b37e4693de0234bc5008c0b71a45e4c8}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {1027-1057}, timestamp = {2024-04-08T09:54:20.000+0200}, title = {Higher-Order Leak and Deadlock Free Locks.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#JacobsB23}, volume = 7, year = 2023 }