A small, statically scoped untyped language by Luca Cardelli, 1993. Obliq is object-oriented , higher order, concurrent, and distributed. State is local to an address space, while computation can migrate over the network. The distributed computation mechanism is based on Modula-3 network objects.
ftp://gatekeeper.dec.com/pub/DEC/Modula-3/contrib .