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.
{(ftp://gatekeeper.dec.com/pub/DEC/Modula-3/contrib)}.