🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.functional
Article #957

Re: The OBJ language

#957
From: La Monte Yarroll
Date: Wed, 16 Dec 1992 01:34
27 lines
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!piggy
References: <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