TY  - RPRT
TI  - SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
AU  - Nikhil Swamy
AU  - Aseem Rastogi
AU  - Aymeric Fromherz
AU  - Denis Merigoux
AU  - Danel Ahman
AU  - Guido Martínez
PY  - 2021
DO  - 10.1145/3409003
UR  - https://arxiv.org/abs/2111.15149
ID  - 2111.15149
ER  -