@article{10.1145/3408998,
    Address = {New York, NY, USA},
    Author = {Chargu\'{e}raud, Arthur},
    File = {Separation logic for sequential programs (functional pearl) - 3408998 - a - a.pdf},
    Journal = {Proc. ACM Program. Lang.},
    Keywords = {Coq, Program verification, Separation Logic},
    Month = {August},
    Number = {ICFP},
    Publisher = {Association for Computing Machinery},
    Title = {Separation Logic for Sequential Programs (Functional Pearl)},
    URL = {https://doi.org/10.1145/3408998},
    Volume = {4},
    Year = {2020},
    articleno = {116},
    bdsk-url-1 = {https://doi.org/10.1145/3408998},
    date-added = {2020-08-04 13:39:44 +0200},
    date-modified = {2020-08-04 13:39:44 +0200},
    issue_date = {August 2020},
    numpages = {34},
    doi = {10.1145/3408998}
}

@article{10.1145/3408998, Address = {New York, NY, USA}, Author = {Chargu\'{e}raud, Arthur}, File = {Separation logic for sequential programs (functional pearl) - 3408998 - a - a.pdf}, Journal = {Proc. ACM Program. Lang.}, Keywords = {Coq, Program verification, Separation Logic}, Month = {August}, Number = {ICFP}, Publisher = {Association for Computing Machinery}, Title = {Separation Logic for Sequential Programs (Functional Pearl)}, URL = {https://doi.org/10.1145/3408998}, Volume = {4}, Year = {2020}, articleno = {116}, bdsk-url-1 = {https://doi.org/10.1145/3408998}, date-added = {2020-08-04 13:39:44 +0200}, date-modified = {2020-08-04 13:39:44 +0200}, issue_date = {August 2020}, numpages = {34}, doi = {10.1145/3408998} }