Gradual type theory - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Max S. New, Daniel R. Licata, Amal Ahmed. Gradual type theory. Proceedings of the ACM on Programming Languages, 3, 2019. [doi]

@article{NewLA19,
  title = {Gradual type theory},
  author = {Max S. New and Daniel R. Licata and Amal Ahmed},
  year = {2019},
  url = {https://dl.acm.org/citation.cfm?id=3290328},
  researchr = {https://researchr.org/publication/NewLA19},
  cites = {0},
  citedby = {0},
  journal = {Proceedings of the ACM on Programming Languages},
  volume = {3},
}

runs on WebDSL