Path: utzoo!attcan!uunet!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!caen!math.lsa.umich.edu!math.lsa.umich.edu!emv
From: willi@unieinf.UUCP (Wilhelm Hasselbring)
Newsgroups: comp.archives
Subject: [comp.lang.misc] Re: SETL (SET Language) references wanted
Keywords: SETL
Message-ID: <1990Oct25.010947.13542@math.lsa.umich.edu>
Date: 25 Oct 90 01:09:47 GMT
Sender: emv@math.lsa.umich.edu (Edward Vielmetti)
Reply-To: willi@unieinf.UUCP (Wilhelm Hasselbring)
Followup-To: comp.lang.misc
Organization: University of Essen, W-Germany
Lines: 27
Approved: emv@math.lsa.umich.edu (Edward Vielmetti)
X-Original-Newsgroups: comp.lang.misc

Archive-name: setl2/23-Oct-90
Original-posting-by: willi@unieinf.UUCP (Wilhelm Hasselbring)
Original-subject: Re: SETL (SET Language) references wanted
Archive-site: cs.nyu.edu [128.122.140.24]
Reposted-by: emv@math.lsa.umich.edu (Edward Vielmetti)

In article <1474@umriscc.isc.umr.edu> jeffj@mcs213k.cs.umr.edu (Jeff Jenness) writes:

>   ...

>     2) The SETL2 project at New York University.
>	This is the project of W. Kirk Snyder of the Courant Institute of
>	Mathematical Sciences.  I have obtained the language definition (dated
>	1/8/90).  Apparently there is software available for a number of
>	platforms also, but I have yet to get my copy.  (Anyone know of an
>	anonymous ftp site?)

You can get the system on cs.nyu.edu (128.122.140.24).

>   I am also interested what you are able to find out concerning other
>   projects.

  3) The SETL/E project at the University of Essen.
	This system is actually under development. At the moment the language
	definition is only available in german.

Willi