Type Systems

ArticleCardelli 1996Cite as [@cardelliTypeSystems1996]

Cardelli, Luca. 1996. “Type Systems.” ACM Comput. Surv. 28 (1): 263–264. doi.org/10.1145/234313.234418

BibTeX

@article{cardelliTypeSystems1996,
  title = {Type Systems},
  author = {Cardelli, Luca},
  year = 1996,
  month = mar,
  journal = {ACM Comput. Surv.},
  volume = {28},
  number = {1},
  pages = {263--264},
  publisher = {ACM},
  address = {New York, NY, USA},
  doi = {10.1145/234313.234418},
  url = {http://doi.acm.org/10.1145/234313.234418},
  keywords = {*file-import-13-06-09}
}

Download