URL details: www.fstar-lang.org/papers/steelcore/

home > domains > fstar-lang.org > www.fstar-lang.org/papers/steelcore/

URL title: SteelCore: An Extensible Concurrent Separation Logic for Effectful Dependently Typed Programs
URL last crawled: 2022-06-23
URL speed: 5.910 MB/s, downloaded in 0.001 seconds

open external url

We found no external links pointing to this url.