Gradual Parametricity, Revisited (bibtex)
by Matías Toro, Elizabeth Labrada and Éric Tanter
Reference:
Gradual Parametricity, Revisited (Matías Toro, Elizabeth Labrada and Éric Tanter), In Proceedings of the ACM on Programming Languages, ACM Press, volume 3, 2019.
Bibtex Entry:
@article{toroAl:popl2019,
  author    = {Mat{\'i}as Toro and Elizabeth Labrada and {\'E}ric Tanter},
  title     = {Gradual Parametricity, Revisited},
  pages     = {17:1--17:30},
  url       = {http://pleiad.dcc.uchile.cl/papers/2019/toroAl-popl2019.pdf},
  doi       = {10.1145/3290330},
  journal   = {Proceedings of the ACM on Programming Languages},
  volume    = 3,
  number    = {POPL},
  month     = jan,
  year      = 2019,
  publisher = {ACM Press},
}
Powered by bibtexbrowser