Approximate Normalization for Gradual Dependent Types (bibtex)
by Joseph Eremondi, Éric Tanter and Ronald Garcia
Reference:
Approximate Normalization for Gradual Dependent Types (Joseph Eremondi, Éric Tanter and Ronald Garcia), In Proceedings of the ACM on Programming Languages, ACM Press, volume 3, 2019.
Bibtex Entry:
@article{eremondiAl:icfp2019,
  author    = {Joseph Eremondi and {\'E}ric Tanter and Ronald Garcia},
  title     = {Approximate Normalization for Gradual Dependent Types},
  pages     = {88:1--88:30},
  url       = {http://pleiad.dcc.uchile.cl/papers/2019/eremondiAl-icfp2019.pdf},
  doi       = {10.1145/3341692},
  journal   = {Proceedings of the ACM on Programming Languages},
  volume    = 3,
  number    = {ICFP},
  month     = aug,
  year      = 2019,
  publisher = {ACM Press},
}
Powered by bibtexbrowser