Type-Driven Gradual Security with References (bibtex)
by Matías Toro, Ronald Garcia and Éric Tanter
Reference:
Type-Driven Gradual Security with References (Matías Toro, Ronald Garcia and Éric Tanter), In ACM Transactions on Programming Languages and Systems, ACM Press, volume 40, 2018.
Bibtex Entry:
@article{toroAl:toplas2018,
  author    = {Mat{\'i}as Toro and Ronald Garcia and {\'E}ric Tanter},
  title     = {Type-Driven Gradual Security with References},
  journal   = {ACM Transactions on Programming Languages and Systems},
  publisher = {ACM Press},
  volume    = 40,
  number    = 4,
  year      = 2018,
  url       = {http://pleiad.dcc.uchile.cl/papers/2018/toroAl-toplas2018.pdf},
  webnote   = {To be presented at POPL 2019},
}
Powered by bibtexbrowser