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,
}