Layered Indexed Effects: Foundations and Applications of Effectful Dependently Typed Programming (bibtex)
by , , , ,
Reference:
Layered Indexed Effects: Foundations and Applications of Effectful Dependently Typed Programming (Aseem Rastogi, Guido Martínez, Aymeric Fromherz, Tahina Ramananandro, Nikhil Swamy), 2020. (In submission)
Bibtex Entry:
@misc{layeff,
  author = {Aseem Rastogi and
            Guido Mart\'inez and
            Aymeric Fromherz and
            Tahina Ramananandro and
            Nikhil Swamy},
  title = {Layered Indexed Effects: Foundations and Applications of Effectful Dependently Typed Programming},
  year = 2020,
  month = July,
  url = {https://www.fstar-lang.org/papers/layeredeffects/},
  note = {In submission},
}
Powered by bibtexbrowser