Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico. An Interpretation of Typed OOP in a Language with State. Higher-Order and Symbolic Computation, 8(4):357-397, 1995.
@article{EifrigSTZ95,
title = {An Interpretation of Typed OOP in a Language with State},
author = {Jonathan Eifrig and Scott F. Smith and Valery Trifonov and Amy E. Zwarico},
year = {1995},
tags = {e-science},
researchr = {https://researchr.org/publication/EifrigSTZ95},
cites = {0},
citedby = {0},
journal = {Higher-Order and Symbolic Computation},
volume = {8},
number = {4},
pages = {357-397},
}