Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic (bibtex)

by Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux and Tahina Ramananandro

Reference:

Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic (Aymeric Fromherz, Aseem Rastogi, Nikhil Swamy, Sydney Gibson, Guido Martínez, Denis Merigoux and Tahina Ramananandro), In 25th ACM SIGPLAN International Conference on Functional Programming (ICFP), 2021.

Bibtex Entry:

@inproceedings{steel,
  author = {Aymeric Fromherz and
            Aseem Rastogi and
            Nikhil Swamy and
            Sydney Gibson and
            Guido Mart\'inez and
            Denis Merigoux and
            Tahina Ramananandro},
  title = {Steel: Proof-oriented Programming in a Dependently Typed Concurrent Separation Logic},
  booktitle = {25th ACM SIGPLAN International Conference on
               Functional Programming (ICFP)},
  shortbooktitle = {ICFP},
  year = 2021,
  month = aug,  
  url = {https://www.fstar-lang.org/papers/steel/},
}