SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs (bibtex)

by Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman and Guido Martínez

Reference:

SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs (Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman and Guido Martínez), In 25th ACM SIGPLAN International Conference on Functional Programming (ICFP), 2020.

Bibtex Entry:

@inproceedings{steelcore,
  author = {Nikhil Swamy and
            Aseem Rastogi and
            Aymeric Fromherz and
            Denis Merigoux and
            Danel Ahman and
            Guido Mart\'inez},
  title = {SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs},
  url = {https://www.fstar-lang.org/papers/steelcore/},
  booktitle = {25th ACM SIGPLAN International Conference on
               Functional Programming (ICFP)},
  shortbooktitle = {ICFP},
  year = {2020},
  month = aug,
}