@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},
}

{"_id":"FTLupnBkj6aPJ6heK","bibbaseid":"ahman-fournet-hritcu-maillard-rastogi-swamy-recallingawitnessfoundationsandapplicationsofmonotonicstate-2018","authorIDs":[],"author_short":["Ahman, D.","Fournet, C.","Hritcu, C.","Maillard, K.","Rastogi, A.","Swamy, N."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Danel"],"propositions":[],"lastnames":["Ahman"],"suffixes":[]},{"firstnames":["Cédric"],"propositions":[],"lastnames":["Fournet"],"suffixes":[]},{"firstnames":["Catalin"],"propositions":[],"lastnames":["Hritcu"],"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","bibtex":"@article{preorders,\n author = {Danel Ahman and\n C\\'edric Fournet and\n Catalin Hritcu 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}\n\n","author_short":["Ahman, D.","Fournet, C.","Hritcu, C.","Maillard, K.","Rastogi, A.","Swamy, N."],"key":"preorders","id":"preorders","bibbaseid":"ahman-fournet-hritcu-maillard-rastogi-swamy-recallingawitnessfoundationsandapplicationsofmonotonicstate-2018","role":"author","urls":{"Paper":"https://arxiv.org/abs/1707.02466"},"downloads":0},"bibtype":"article","biburl":"http://fstar-lang.org/fstar.bib","creationDate":"2020-07-12T03:02:49.297Z","downloads":0,"keywords":[],"search_terms":["recalling","witness","foundations","applications","monotonic","state","ahman","fournet","hritcu","maillard","rastogi","swamy"],"title":"Recalling a Witness: Foundations and Applications of Monotonic State","year":2018,"dataSources":["eyMWQ4bjnGX3pP6cA"]}