Is sized typing for Coq practical? - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Jonathan Chan, Yufeng Li, William J. Bowman. Is sized typing for Coq practical?. Journal of Functional Programming, 33, 2023. [doi]

@article{ChanLB23,
  title = {Is sized typing for Coq practical?},
  author = {Jonathan Chan and Yufeng Li and William J. Bowman},
  year = {2023},
  doi = {10.1017/S0956796822000120},
  url = {https://doi.org/10.1017/S0956796822000120},
  researchr = {https://researchr.org/publication/ChanLB23},
  cites = {0},
  citedby = {0},
  journal = {Journal of Functional Programming},
  volume = {33},
}

runs on WebDSL