Martín Abadi, Luca Cardelli. An Imperative Object Calculus (Invited Paper). TAPOS, 1(3):151-166, 1995.
@article{AbadiC95:0, title = {An Imperative Object Calculus (Invited Paper)}, author = {Martín Abadi and Luca Cardelli}, year = {1995}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/AbadiC95%3A0}, cites = {0}, citedby = {0}, journal = {TAPOS}, volume = {1}, number = {3}, pages = {151-166}, }