References

[AC96]

Abadi, M. and L. Cardelli. A Theory of Objects. Springer-Verlag, New York, NY, 1996.

[AR92]

Aitken, W. E. and J. H. Reppy. Abstract value constructors: Symbolic constants for standard ml. Technical Report TR 92-1290, Department of Computer Science, Cornell University, June 1992. A shorter version appears in the proceedings of the ``ACM SIGPLAN Workshop on ML and its Applications,'' 1992.

[BSv95]

Bruce, K., A. Schuett, and R. van Gent. PolyTOIL: A type-safe polymorphic object-oriented language. In Proceedings of the Ninth European Conference on Object-Oriented Programming, vol. 952 of Lecture Notes in Computer Science, New York, NY, 1995. Springer-Verlag, pp. 26--51.

[FM95]

Fisher, K. and J. Mitchell. The development of type systems for object-oriented languages. Theory and Practice of Object Systems, 1(3), 1995, pp. 189--220. Preliminary version appeared in TACS '94 proceedings.

[IEE85]

IEEE Computer Society, New York, NY. IEEE Standard for Binary Floating-Point Arithmetic (IEEE Std 754-1985), 1985.

[Pro95]

Programming Methodology Group, MIT LCS, Cambridge, MA. Theta Reference Manual (Preliminary Version), February 1995. Available from http://www.pmg.lcs.mit.edu/Theta.html.