Decidable Bounded Quantification - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Giuseppe Castagna, Benjamin C. Pierce. Decidable Bounded Quantification. In Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pages 151-162, 1994.

@inproceedings{CastagnaP94,
  title = {Decidable Bounded Quantification},
  author = {Giuseppe Castagna and Benjamin C. Pierce},
  year = {1994},
  tags = {C++},
  researchr = {https://researchr.org/publication/CastagnaP94},
  cites = {0},
  citedby = {0},
  pages = {151-162},
  booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}

runs on WebDSL