Programming and Proving with Indexed Effects (bibtex)

by Aseem Rastogi, Guido Martínez, Aymeric Fromherz, Tahina Ramananandro and Nikhil Swamy

Reference:

Programming and Proving with Indexed Effects (Aseem Rastogi, Guido Martínez, Aymeric Fromherz, Tahina Ramananandro and Nikhil Swamy), 2021.

Bibtex Entry:

@misc{indexedeffects,
  author = {Aseem Rastogi and
            Guido Mart\'inez and
            Aymeric Fromherz and
            Tahina Ramananandro and
            Nikhil Swamy},
  title = {Programming and Proving with Indexed Effects},
  year = 2021,
  month = July,
  url = {https://www.fstar-lang.org/papers/indexedeffects/},
}