Recalling a Witness: Foundations and Applications of Monotonic State (bibtex)
by Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy
Reference:
Recalling a Witness: Foundations and Applications of Monotonic State (Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi, Nikhil Swamy), In PACMPL, volume 2, 2018.
Bibtex Entry:
@article{preorders,
  author = {Danel Ahman and
            C\'edric Fournet and
            Catalin Hritcu and
            Kenji Maillard and
            Aseem Rastogi and
            Nikhil Swamy},
  title = {Recalling a Witness: Foundations and Applications of Monotonic State},
  journal   = {{PACMPL}},
  volume    = {2},
  number    = {{POPL}},
  year      = {2018},
  month = jan,
  url = {https://arxiv.org/abs/1707.02466},
  acceptance = {66/271=24.4},
  chcontrib = {misc},
}
Powered by bibtexbrowser