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].
Try this search on Wikipedia, OneLook, Google
Nearby terms: Fibre Channel « Fibre Channel-Arbitrated Loop « fibre optics « FIDIL » FIDO » FidoNet » field
