[Prev][Next][Index][Thread]

Paper on binary methods in object-oriented languages available


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

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


			       Abstract
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)
ftp://ftp.ens.fr/pub/dmi/users/castagna/binary.ps.Z
ftp://ftp.cs.iastate.edu/pub/techreports/TR95-08/TR.ps.Z
http://www.cl.cam.ac.uk/users/bcp1000/papers/binary.ps.gz

	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