@article{preorders,
  author = {Danel Ahman and
            C\'edric Fournet and
            C\u{a}t\u{a}lin Hri\c{t}cu 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},
  chcontrib = {average},
  acceptance = {66/271=0.24},
}

{"_id":"F4pkkRmidqWyKNMA4","bibbaseid":"ahman-fournet-hricu-maillard-rastogi-swamy-recallingawitnessfoundationsandapplicationsofmonotonicstate-2018","downloads":0,"creationDate":"2019-02-09T20:08:59.675Z","title":"Recalling a Witness: Foundations and Applications of Monotonic State","author_short":["Ahman, D.","Fournet, C.","Hriţcu, C.","Maillard, K.","Rastogi, A.","Swamy, N."],"year":2018,"bibtype":"article","biburl":"http://prosecco.gforge.inria.fr/personal/hritcu/publications/catalin.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Danel"],"propositions":[],"lastnames":["Ahman"],"suffixes":[]},{"firstnames":["Cédric"],"propositions":[],"lastnames":["Fournet"],"suffixes":[]},{"firstnames":["Cătălin"],"propositions":[],"lastnames":["Hriţcu"],"suffixes":[]},{"firstnames":["Kenji"],"propositions":[],"lastnames":["Maillard"],"suffixes":[]},{"firstnames":["Aseem"],"propositions":[],"lastnames":["Rastogi"],"suffixes":[]},{"firstnames":["Nikhil"],"propositions":[],"lastnames":["Swamy"],"suffixes":[]}],"title":"Recalling a Witness: Foundations and Applications of Monotonic State","journal":"PACMPL","volume":"2","number":"POPL","pages":"65:1–65:30","year":"2018","month":"January","url":"https://arxiv.org/abs/1707.02466","chcontrib":"average","acceptance":"66/271=0.24","bibtex":"@article{preorders,\n author = {Danel Ahman and\n C\\'edric Fournet and\n C\\u{a}t\\u{a}lin Hri\\c{t}cu and\n Kenji Maillard and\n Aseem Rastogi and\n Nikhil Swamy},\n title = {Recalling a Witness: Foundations and Applications of Monotonic State},\n journal = {{PACMPL}},\n volume = {2},\n number = {{POPL}},\n pages = {65:1--65:30},\n year = {2018},\n month = jan,\n url = {https://arxiv.org/abs/1707.02466},\n chcontrib = {average},\n acceptance = {66/271=0.24},\n}\n\n","author_short":["Ahman, D.","Fournet, C.","Hriţcu, C.","Maillard, K.","Rastogi, A.","Swamy, N."],"key":"preorders","id":"preorders","bibbaseid":"ahman-fournet-hricu-maillard-rastogi-swamy-recallingawitnessfoundationsandapplicationsofmonotonicstate-2018","role":"author","urls":{"Paper":"https://arxiv.org/abs/1707.02466"},"downloads":0,"html":""},"search_terms":["recalling","witness","foundations","applications","monotonic","state","ahman","fournet","hriţcu","maillard","rastogi","swamy"],"keywords":[],"authorIDs":[],"dataSources":["hAMnRsgiC28iyFDSa"]}