home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #30 / NN_1992_30.iso / spool / comp / lang / function / 1466 < prev    next >
Encoding:
Text File  |  1992-12-15  |  1.7 KB  |  39 lines

  1. Newsgroups: comp.lang.functional
  2. Path: sparky!uunet!munnari.oz.au!newsroom.utas.edu.au!hilbert!piggy
  3. From: piggy@hilbert.cc.utas.edu.au (La Monte Yarroll)
  4. Subject: Re: The OBJ language
  5. Message-ID: <piggy.724469651@newsroom.utas.edu.au>
  6. Sender: news@newsroom.utas.edu.au
  7. Organization: University of Tasmania, Australia.
  8. References: <1992Dec14.093136.23648@netcom.com>
  9. Date: Wed, 16 Dec 1992 01:34:11 GMT
  10. Lines: 27
  11.  
  12. richmcdm@netcom.com (Richard McConnell) writes:
  13.  
  14. >I've recently read a paper which describes a language called OBJ, and I'm 
  15. >wondering if anyone knows where I could go for more info.t
  16. >    The paper is from 1988 ("Higher-Order Functions Considered
  17. >Unnecessary for Higher-Order Programming" by Joseph A. Goguen, in the book 
  18. >Research Topics in Functional Programming). I haven't found a trace of OBJ 
  19. >OBJ in any newsgroups, "archie", etc., except a few bibliographic references
  20. >to other papers written around the same time. The list of lots and lots of
  21. >languages available on comp.lang.misc has no mention of it either.
  22. >    If anyone could point me in the right direction, I'd appreciate it.
  23.  
  24. >Basil Hosmer    (richmcdm@netcom.com)
  25.  
  26. "If you have any questions about obtaining OBJ3, please call Judith
  27. Burgess at (415) 859-5924 or contact us by email at
  28. obj3dist@csl.sri.com.  For technical questions, please contact Mr.
  29. Timothy Winkler at (415) 859-3192 or by email at obj3sys@csl.sri.com."
  30.  
  31. OBJ runs on top of AKCL.  You need licenses for both OBJ and KCL in
  32. order to use it, but both of those licenses are free.  You can order a
  33. full tape from SRI for US$150.
  34. --
  35. La Monte H. Yarroll    Home:        piggy@baqaqi.chi.il.us
  36.    Work:        piggy@hilbert.maths.utas.edu.au
  37.    AKA:            piggy@gargoyle.uchicago.edu
  38.    Once upon a time:    postmaster@clout.chi.il.us
  39.