Denis Merigoux

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

2021 · arXiv (Cornell University)

Much recent research has been devoted to modeling effects within type theory. Building on this work, we observe that effectful type theories can provide a foundation on which to build semantics for more complex programming …