(United FunctionS and ObjectS) A hybrid functional and object-oriented language deSigned by John Seargant at MancheSter UniverSity for general-purpoSe parallel computation. To a firSt approximation, UFO iS a Strict, higher-order functional language with an object-oriented type SyStem, and Strong Support for numeric computation in the form of SISAL-Style arrayS and loopS. ParalleliSm iS implicit, and applieS at variouS different levelS of granularity, thereby facilitating implementationS on a wide range of parallel architectureS. It iS planned to run it on a 64 proceSSor KSR machine. (1996-08-22)