@article{DBLP:journals/toplas/ToroDANAOT23,
  author       = {Mat{\'{\i}}as Toro and
                  David Darais and
                  Chike Abuah and
                  Joseph P. Near and
                  Dami{\'{a}}n {\'{A}}rquez and
                  Federico Olmedo and
                  {\'{E}}ric Tanter},
  title        = {Contextual Linear Types for Differential Privacy},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {45},
  number       = {2},
  pages        = {8:1--8:69},
  year         = {2023},
  doi          = {10.1145/3589207}
}