References

BLM96

J. Bank, B. Liskov, and A. Myers. Parameterized types and Java. Technical Memo MIT/LCS/TM-553, Massachusetts Institute of Technology, 1996.

Car88

Luca Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138-164, 1988. Also in Readings in Object-Oriented Database Systems, S. Zdonik and D. Maier, eds., Morgan Kaufmann, 1990.

CCH+89

Peter Canning, William Cook, Walter Hill, John Mitchell, and Walter Olthoff. F-bounded polymorphism for object-oriented programming. In Proceedings of the Conference on Functional Programming Languages and Computer Architecture, pages 273-280, 1989.

DGLM95

M. Day, R. Gruber, B. Liskov, and A. C. Myers. Subtypes vs. where clauses: Constraining parametric polymorphism. In OOPSLA '95 Conference Proceedings, pages 156-158. ACM Press, October 1995.

KLMM94

Dinesh Katiyar, David Luckham, John Mitchell, and Sigurd Melda. Polymorphism and subtyping in interfaces. ACM SIGPLAN Notices, 29(9):22-34, August 1994.

L+81

B. Liskov et al. CLU reference manual. In Goos and Hartmanis, editors, Lecture Notes in Computer Science, volume 114. Springer-Verlag, Berlin, 1981.

LCD+94

B. Liskov, D. Curtis, M. Day, S. Ghemawat, R. Gruber, P. Johnson, and A. C. Myers. Theta Reference Manual. Programming Methodology Group Memo 88, MIT Laboratory for Computer Science, Cambridge, MA, February 1994.

LY96

T. Lindholm and F. Yellin. The Java Virtual Machine. Addison-Wesley, Englewood Cliffs, NJ, May 1996.

Mey88

Bertrand Meyer. Object-oriented Software Construction. Prentice Hall, New York, 1988.

MMPN93

O. Lehrmann Madsen, B. Moller-Pedersen, and K. Nygaard. Object Oriented Programming in the BETA Programming Language. Addison-Wesley, June 1993.

MTH90

R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990.

Mye95

Andrew. C. Myers. Bidirectional object layout for separate compilation. In OOPSLA '95 Conference Proceedings, Austin, TX, October 1995.

Nel91

Greg Nelson, editor. Systems Programming with Modula-3. Prentice-Hall, 1991.

OL92

Stephen M. Omohundro and Chu-Cheow Lim. The Sather language and libraries. Technical Report TR-92-017, International Computer Science Institute, Berkeley, March 1992.

Omo93

Stephen M. Omohundro. The Sather programming language. Dr. Dobb's Journal, 18(11):42-48, October 1993.

S+86

C. Schaffert et al. An introduction to Trellis/Owl. In OOPSLA '86 Conference Proceedings, Portland, OR, September 1986.

Sto87

B. Stoustrup. The C++ Programming Language. Addison-Wesley, 1987.

Str87

B. Stroustrup. Multiple inheritance for C++. In Proceedings of the Spring '87 European Unix Systems User's Group Conference, Helsinki, Finland, May 1987.

Sun95a

Sun Microsystems. Java Language Specification, version 1.0 beta edition, October 1995.

Sun95b

Sun Microsystems. The Java Virtual Machine Specification, release 1.0 beta edition, August 1995.

Yel95

Frank Yellin. Low-level security in Java, December 1995. Presented at the Fourth International World Wide Web Conference, Dec. 1995.