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}},
  pages     = {65:1--65:30},
  year      = {2018},
  month = jan,
  url = {https://arxiv.org/abs/1707.02466},
}
Powered by bibtexbrowser