%0 Journal Article %1 journals/pacmpl/JacobsHK23 %A Jacobs, Jules %A Hinrichsen, Jonas Kastberg %A Krebbers, Robbert %D 2023 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 768-795 %T Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl). %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#JacobsHK23 %V 7

@article{journals/pacmpl/JacobsHK23, added-at = {2023-12-31T00:00:00.000+0100}, author = {Jacobs, Jules and Hinrichsen, Jonas Kastberg and Krebbers, Robbert}, biburl = {https://www.bibsonomy.org/bibtex/256690843e19204f02424c8da8c2eaf9f/dblp}, ee = {https://doi.org/10.1145/3607856}, interhash = {3528a27effdc86adfe2607fcf6c7a6d0}, intrahash = {56690843e19204f02424c8da8c2eaf9f}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, month = {August}, number = {ICFP}, pages = {768-795}, timestamp = {2024-04-08T09:54:58.000+0200}, title = {Dependent Session Protocols in Separation Logic from First Principles (Functional Pearl).}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl7.html#JacobsHK23}, volume = 7, year = 2023 }