Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!philabs!cmcl2!harvard!talcott!panda!genrad!decvax!decwrl!glacier!kestrel!ladkin
From: ladkin@kestrel.ARPA (Peter Ladkin)
Newsgroups: net.lang
Subject: Re: Languages with overloading: summary.
Message-ID: <5028@kestrel.ARPA>
Date: Thu, 20-Feb-86 22:53:06 EST
Article-I.D.: kestrel.5028
Posted: Thu Feb 20 22:53:06 1986
Date-Received: Mon, 24-Feb-86 06:18:46 EST
References: <11837@ucbvax.BERKELEY.EDU>
Organization: Kestrel Institute, Palo Alto, CA
Lines: 22

In article <11837@ucbvax.BERKELEY.EDU>, jenny@ucbvax.BERKELEY.EDU 
(Kathryn Hargreaves) writes:
> Larry Rosenstein and Chris Warack told me about Clu, which has a rather
> interesting form of overloading. (Operators aren't really operators, just
> syntactic sugar.) The reference work is a MIT publication, I believe, by
> Barbara Liskov et. al.

The CLU reference manual is published by Springer in LNCS volume 114.

> mct@gandalf.cmu.edu told me about ML, an intermediate language (I think)
> output by some compilers.

ML is the Edinburgh type-theory language. It's not intermediate.
It's very high level. Dave McQueen at Bell Labs is probably the
best reference. Edinburgh puts out the POLYMORPH newsletter.

Joe Goguen and Pepe Meseguer at SRI are developing OBJ, an
algebraic data type language, and they have works investigating
the overloading of operators, especially with regard to 
incorporating subtypes in an equationally-based ADT environment.

Peter Ladkin