An Imperative Object Calculus (Invited Paper)

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},
}