An Interpretation of Typed OOP in a Language with State

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.