(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.