A Unifying Type-Theoretic Framework for Objects. Hofmann 0001, M. & Pierce, B. C. In Proceedings of Symposium on Theoretical Aspects of Computer Science (STACS), pages 251-262, 1994.
A Unifying Type-Theoretic Framework for Objects [link]Paper  bibtex   
@inproceedings{ dblp4773593,
  title = {A Unifying Type-Theoretic Framework for Objects},
  author = {Martin Hofmann 0001 and Benjamin C. Pierce},
  author_short = {Hofmann 0001, M. and Pierce, B. C.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {1994},
  key = {dblp4773593},
  id = {dblp4773593},
  biburl = {http://www.dblp.org/rec/bibtex/conf/stacs/HofmannP94},
  url = {http://dx.doi.org/10.1007/3-540-57785-8_146},
  conference = {STACS},
  pages = {251-262},
  text = {STACS 1994:251-262},
  booktitle = {Proceedings of Symposium on Theoretical Aspects of Computer Science (STACS)}
}

Downloads: 0