Paper on binary methods in object-oriented languages available

We would like to announce the availability of the following paper:

			  On Binary Methods
	     Kim Bruce, Luca Cardelli, Giuseppe Castagna,
		      The Hopkins Objects Group,
		 Gary T. Leavens, and Benjamin Pierce

Giving types to binary methods causes significant problems for
object-oriented language designers and programmers.  This paper offers
a comprehensive description of the problems arising from typing binary
methods, and collects and contrasts diverse views and solutions.  It
is intended to expose a wide audience of readers to the current debate
on this question.

This is available from (at least) the following URLs.

ftp://cs.williams.edu/pub/kim/binary.dvi (or .ps)

	Gary Leavens
	229 Atanasoff Hall, Department of Computer Science
	Iowa State Univ., Ames, Iowa 50011-1040 USA / leavens@cs.iastate.edu
	phone: (515)294-1580 fax: (515)294-0258 ftp site: ftp.cs.iastate.edu
	URL: http://www.cs.iastate.edu/~leavens/homepage.html