Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!watmath!clyde!rutgers!brl-adm!seismo!rochester!crowl
From: crowl@rochester.UUCP
Newsgroups: comp.lang.misc
Subject: Re: Dynamically bound and statically typed (was: OOPS)
Message-ID: <25041@rochester.ARPA>
Date: Fri, 20-Feb-87 11:26:31 EST
Article-I.D.: rocheste.25041
Posted: Fri Feb 20 11:26:31 1987
Date-Received: Sat, 21-Feb-87 06:29:43 EST
References: <4337@columbia.UUCP> <4000007@nucsrl.UUCP>
Reply-To: crowl@rochester.UUCP (Lawrence Crowl)
Organization: U of Rochester, CS Dept, Rochester, NY
Lines: 25

For those of you interested in statically bound types and dynamically
bound implementations (methods) see:

    Craig Schaffert, Topher Cooper, Bruce Bullis, Mike Kilian, Carrie Wilpolt;
    "An Introduction to Trellis/Owl"
    ACM SIGPLAN Notices 21(11), 9-16
    November 1986

    Andrew Black, Norman Hutchinson, Eric Jul, Henry Levy;
    "Object Structure in the Emerald System"
    ACM SIGPLAN Notices 21(11), 78-86
    November 1986

    Andrew Black, Norman Hutchinson, Eric Jul, Henry Levy, Larry Carter;
    "Distribution and Abstract Types in Emerald"
    IEEE Transactions on Software Engineering
    December 1986

The two Emerald papers are similar, but the second is probably better for
this topic.

-- 
  Lawrence Crowl		716-275-5766	University of Rochester
			crowl@rochester.arpa	Computer Science Department
 ...!{allegra,decvax,seismo}!rochester!crowl	Rochester, New York,  14627