%0 Journal Article %1 journals/pacmpl/MevelJP20 %A Mével, Glen %A Jourdan, Jacques-Henri %A Pottier, François %D 2020 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 96:1-96:29 %T Cosmo: a concurrent separation logic for multicore OCaml. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#MevelJP20 %V 4

@article{journals/pacmpl/MevelJP20, added-at = {2022-10-02T00:00:00.000+0200}, author = {Mével, Glen and Jourdan, Jacques-Henri and Pottier, François}, biburl = {https://www.bibsonomy.org/bibtex/2c42359758467c20ae9d750a493c550d7/dblp}, ee = {https://doi.org/10.1145/3408978}, interhash = {cb4d9d8e9558043fcc67fbc92eb93577}, intrahash = {c42359758467c20ae9d750a493c550d7}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {96:1-96:29}, timestamp = {2024-04-08T09:54:33.000+0200}, title = {Cosmo: a concurrent separation logic for multicore OCaml.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#MevelJP20}, volume = 4, year = 2020 }