Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!genrad!decvax!harpo!floyd!vax135!ariel!houti!hogpc!houxm!hocda!spanky!burl!sb1!sb6!emory!gatech!pwh
From: pwh@gatech.UUCP
Newsgroups: net.lang,net.ai
Subject: VAL and VALID
Message-ID: <232@gatech.UUCP>
Date: Thu, 16-Jun-83 01:22:55 EDT
Article-I.D.: gatech.232
Posted: Thu Jun 16 01:22:55 1983
Date-Received: Sat, 18-Jun-83 15:55:22 EDT
Lines: 18


Does anyone have any pointers to either of the above mentioned programming
languages? VALID is supposedly a purely functional programming language
augmented with multiprocessing support being developed at the University
of Tokyo (?) in conjunction with Japan's 5th generation machine. VAL is
a similar predecessor developed at MIT for use in the study of denotational
semantics. That is about all i have heard of these projects but would be
glad to hear of more details or similar work.


phil hutto

pwh@gatech
pwh.gatech@udel-relay
...!{allegra, sb1, sb2}!gatech!pwh

p.s. - isn't there a net.func or net.applic for functional or applicative
       programming languages?