@inproceedings{HerbelinMiquey20,
  author      = {Hugo Herbelin and {\'{E}}tienne Miquey},
  editor      = {Holger Hermanns and Lijun Zhang and Naoki Kobayashi and Dale Miller},
  title       = {A calculus of expandable stores: Continuation-and-environment-passing
                 style translations},
  booktitle   = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
                 Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
  pages       = {564--577},
  publisher   = {{ACM}},
  year        = {2020},
  url         = {https://doi.org/10.1145/3373718.3394792},
  doi         = {10.1145/3373718.3394792},
}