FIDIL

Based on "maps", generalised arrays whose index sets

("domains") are arbitrary D-dimensional sets. Domains are

first-class objects and may be constructed by union,

intersection, etc.

["Fidil: A Language for Scientific Programming",

P.N. Hilfinger et al, TR UCRL-98057, LLNL Jan 1988].