Martin Hofmann, Benjamin C. Pierce. A Unifying Type-Theoretic Framework for Objects. In Patrice Enjalbert, Ernst W. Mayr, Klaus W. Wagner, editors, STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings. Volume 775 of Lecture Notes in Computer Science, pages 251-262, Springer, 1994.
@inproceedings{HofmannP94,
title = {A Unifying Type-Theoretic Framework for Objects},
author = {Martin Hofmann and Benjamin C. Pierce},
year = {1994},
tags = {meta-model, C++, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/HofmannP94},
cites = {0},
citedby = {0},
pages = {251-262},
booktitle = {STACS 94, 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994, Proceedings},
editor = {Patrice Enjalbert and Ernst W. Mayr and Klaus W. Wagner},
volume = {775},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57785-8},
}