A Theory of Primitive Objects: Untyped and First-Order Systems

Martín Abadi, Luca Cardelli. A Theory of Primitive Objects: Untyped and First-Order Systems. Inf. Comput., 125(2):78-102, 1996.

@article{AbadiC96:0,
  title = {A Theory of Primitive Objects: Untyped and First-Order Systems},
  author = {Martín Abadi and Luca Cardelli},
  year = {1996},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/AbadiC96%3A0},
  cites = {0},
  citedby = {0},
  journal = {Inf. Comput.},
  volume = {125},
  number = {2},
  pages = {78-102},
}