A logical basis for nested array data structures

High-level object oriented programming with array technology

APL '00 Proceedings of the international conference on APL-Berlin-2000 conference

Logic Programming with Arrays

IEEE Transactions on Knowledge and Data Engineering

Single Assignment C: efficient support for high-level array operations in a functional setting

Journal of Functional Programming

A uniform way of reasoning about array-based computation in radar: Algebraically connecting the hardware/software boundary

Digital Signal Processing

Axis control in SAC

IFL'02 Proceedings of the 14th international conference on Implementation of functional languages