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

Nearby terms:

Fibre Channel-Arbitrated Loopfibre opticsFIDILFIDOFidoNet

Try this search on Wikipedia, Wiktionary, Google, OneLook.