@inproceedings{DBLP:conf/lics/KammarLMS17,
  title = "A monad for full ground reference cells",
  author = "Ohad Kammar and Paul Blain Levy and Sean K. Moss and Sam Staton",
  year = "2017",
  booktitle = "32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2017, Reykjavik, Iceland, June 20-23, 2017",
  pages = "1--12",
  publisher = "{IEEE} Computer Society",
  url = "https://doi.org/10.1109/LICS.2017.8005109",
  doi = "10.1109/LICS.2017.8005109",
}