Path: utzoo!attcan!uunet!seismo!dimacs.rutgers.edu!rutgers!gatech!bloom-beacon!eru!hagbard!sunic!mcsun!unido!unieinf!willi
From: willi@unieinf.UUCP (Wilhelm Hasselbring)
Newsgroups: comp.lang.misc
Subject: Re: SETL (SET Language) references wanted
Summary: SETL2 and SETL/E
Keywords: SETL
Message-ID: <1439@unieinf.UUCP>
Date: 23 Oct 90 09:14:02 GMT
References: <6416@uceng.UC.EDU> <1474@umriscc.isc.umr.edu>
Organization: University of Essen, W-Germany
Lines: 21
In-reply-to: jeffj@mcs213k.cs.umr.edu's message of 16 Oct 90 22:06:32 GMT

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