Programming and Proving with Indexed Effects (bibtex)
by , , , ,
Reference:
Programming and Proving with Indexed Effects (Aseem Rastogi, Guido Martínez, Aymeric Fromherz, Tahina Ramananandro, Nikhil Swamy), 2021. (In submission)
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/},
  note = {In submission},
}
Powered by bibtexbrowser