Article View: comp.lang.functional
Article #957Re: The OBJ language
From: La Monte Yarroll
Date: Wed, 16 Dec 1992 01:34
Date: Wed, 16 Dec 1992 01:34
27 lines
1798 bytes
1798 bytes
richmcdm@netcom.com (Richard McConnell) writes:
>I've recently read a paper which describes a language called OBJ, and I'm
>wondering if anyone knows where I could go for more info.t
> The paper is from 1988 ("Higher-Order Functions Considered
>Unnecessary for Higher-Order Programming" by Joseph A. Goguen, in the book
>Research Topics in Functional Programming). I haven't found a trace of OBJ
>OBJ in any newsgroups, "archie", etc., except a few bibliographic references
>to other papers written around the same time. The list of lots and lots of
>languages available on comp.lang.misc has no mention of it either.
> If anyone could point me in the right direction, I'd appreciate it.
>Basil Hosmer (richmcdm@netcom.com)
"If you have any questions about obtaining OBJ3, please call Judith
Burgess at (415) 859-5924 or contact us by email at
obj3dist@csl.sri.com. For technical questions, please contact Mr.
Timothy Winkler at (415) 859-3192 or by email at obj3sys@csl.sri.com."
OBJ runs on top of AKCL. You need licenses for both OBJ and KCL in
order to use it, but both of those licenses are free. You can order a
full tape from SRI for US$150.
--
La Monte H. Yarroll Home: piggy@baqaqi.chi.il.us
Work: piggy@hilbert.maths.utas.edu.au
AKA: piggy@gargoyle.uchicago.edu
Once upon a time: postmaster@clout.chi.il.us
Technical Details
Message-ID:
<piggy.724469651@newsroom.utas.edu.au>Path:
arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!newsroom.utas.edu.au!hilbert!piggyReferences:
<1992Dec14.093136.23648@netcom.com>Show Full Headers
Complete Article Headers
Newsgroups: comp.lang.functional Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!newsroom.utas.edu.au!hilbert!piggy From: piggy@hilbert.cc.utas.edu.au (La Monte Yarroll) Subject: Re: The OBJ language Message-ID: <piggy.724469651@newsroom.utas.edu.au> Sender: news@newsroom.utas.edu.au Organization: University of Tasmania, Australia. References: <1992Dec14.093136.23648@netcom.com> Date: Wed, 16 Dec 1992 01:34:11 GMT Lines: 27