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?