Peter Grogono, Anne Bennett. Polymorphism and type checking in object-oriented languages. SIGPLAN Notices, 24(11):109-115, 1989. [doi]
@article{GrogonoB89, title = {Polymorphism and type checking in object-oriented languages}, author = {Peter Grogono and Anne Bennett}, year = {1989}, doi = {10.1145/71605.71614}, url = {http://doi.acm.org/10.1145/71605.71614}, tags = {model checking, meta-model, type checking, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/GrogonoB89}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {24}, number = {11}, pages = {109-115}, }