%0 Journal Article %1 journals/pacmpl/JacobsHK24 %A Jacobs, Jules %A Hinrichsen, Jonas Kastberg %A Krebbers, Robbert %D 2024 %J Proc. ACM Program. Lang. %K dblp %N POPL %P 1385-1417 %T Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#JacobsHK24 %V 8

@article{journals/pacmpl/JacobsHK24, added-at = {2024-02-10T00:00:00.000+0100}, author = {Jacobs, Jules and Hinrichsen, Jonas Kastberg and Krebbers, Robbert}, biburl = {https://www.bibsonomy.org/bibtex/29667b3a253d0337b808c93e0765d623c/dblp}, ee = {https://doi.org/10.1145/3632889}, interhash = {36f522448bc6afa6f0989f2630992773}, intrahash = {9667b3a253d0337b808c93e0765d623c}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {January}, number = {POPL}, pages = {1385-1417}, timestamp = {2024-04-08T09:54:45.000+0200}, title = {Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl8.html#JacobsHK24}, volume = 8, year = 2024 }