home *** CD-ROM | disk | FTP | other *** search
- Newsgroups: comp.lang.functional
- Path: 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
-
- 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
-