A Deductive and Typed Object-Oriented Language

René Bal, Herman Balsters. A Deductive and Typed Object-Oriented Language. In DOOD. pages 340-359, 1993.

@inproceedings{BalB93,
  title = {A Deductive and Typed Object-Oriented Language},
  author = {René Bal and Herman Balsters},
  year = {1993},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/BalB93},
  cites = {0},
  citedby = {0},
  pages = {340-359},
  booktitle = {DOOD},
}