A symmetry-based formalism for array subtyping

Alexander V. Shafarenko. A symmetry-based formalism for array subtyping. ACM SIGAPL APL Quote Quad, 31(3):41-52, 2001. [doi]

Abstract

Abstract is missing.