Calculating Sized Types - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Wei-Ngan Chin, Siau-Cheng Khoo. Calculating Sized Types. In PEPM. pages 62-72, 2000. [doi]

@inproceedings{ChinK00,
  title = {Calculating Sized Types},
  author = {Wei-Ngan Chin and Siau-Cheng Khoo},
  year = {2000},
  doi = {10.1145/328690.328893},
  url = {http://doi.acm.org/10.1145/328690.328893},
  researchr = {https://researchr.org/publication/ChinK00},
  cites = {0},
  citedby = {0},
  pages = {62-72},
  booktitle = {PEPM},
}

runs on WebDSL