pwh@gatech.UUCP (06/16/83)
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?