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.

Authors

Jonathan Eifrig

This author has not been identified. Look up 'Jonathan Eifrig' in Google

Scott F. Smith

This author has not been identified. Look up 'Scott F. Smith' in Google

Valery Trifonov

This author has not been identified. Look up 'Valery Trifonov' in Google

Amy E. Zwarico

This author has not been identified. Look up 'Amy E. Zwarico' in Google