%0 Journal Article %1 journals/pacmpl/SwamyRFMAM20 %A Swamy, Nikhil %A Rastogi, Aseem %A Fromherz, Aymeric %A Merigoux, Denis %A Ahman, Danel %A Martínez, Guido %D 2020 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 121:1-121:30 %T SteelCore: an extensible concurrent separation logic for effectful dependently typed programs. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#SwamyRFMAM20 %V 4

@article{journals/pacmpl/SwamyRFMAM20, added-at = {2021-02-17T00:00:00.000+0100}, author = {Swamy, Nikhil and Rastogi, Aseem and Fromherz, Aymeric and Merigoux, Denis and Ahman, Danel and Martínez, Guido}, biburl = {https://www.bibsonomy.org/bibtex/25f4926ff60cf3c892b5aa5423b7a4834/dblp}, ee = {https://doi.org/10.1145/3409003}, interhash = {f86f429db6337863d877bba0491b25c6}, intrahash = {5f4926ff60cf3c892b5aa5423b7a4834}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {121:1-121:30}, timestamp = {2024-04-08T09:54:11.000+0200}, title = {SteelCore: an extensible concurrent separation logic for effectful dependently typed programs.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#SwamyRFMAM20}, volume = 4, year = 2020 }