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