Obliq

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.