Newsgroups: comp.software-eng,comp.lang.functional,,comp.lang.lisp,msu.cps.misc
Path: cantaloupe.srv.cs.cmu.edu!rochester!udel!news.sprintlink.net!cs.utexas.edu!swrinde!emory!nntp.msstate.edu!night.primate.wisc.edu!aplcenmp!hall
From: hall@aplcenmp.apl.jhu.edu (Marty Hall)
Subject: Re: Why typing?
Message-ID: <DF99tF.GLx@aplcenmp.apl.jhu.edu>
Organization: JHU/APL AI Lab, Hopkins P/T CS Faculty
References: <43pl5a$fok@msunews.cl.msu.edu> <43rc73$ala@info.epfl.ch>
Date: Thu, 21 Sep 1995 12:39:15 GMT
Lines: 10
Xref: glinda.oz.cs.cmu.edu comp.software-eng:37148 comp.lang.functional:6429 comp.lang.lisp:19158

In <43rc73$ala@info.epfl.ch> "Stefan Monnier" <stefan.monnier@epfl.ch> writes:
>Go read the amazing paper from Cardelli/Wegner in ...
>it must be a issue of Computing Surveys, probably in 1984. I can't remember the
>title, but it's a *must* if you have the slightest interest about types.

"On Understanding Types, Data Abstraction, and Polymorphism," Luca
Cardelli and Peter Wegner, _Computing Surveys_ 17(4), Dec 1985.

						- Marty
(proclaim '(inline skates))
