A Categorical Model of Array Domains

Abstract

(eng) We apply the theory of generalised concrete data structures (or gCDSs) to construct a cartesian closed category of concrete array structures with explicit data layout. The technical novelty is the array gCDS preserved by exponentiation whose isomorphisms relate higher-order objects to their local parts. This work is part of our search of semantic foundations for data-parallel functional programming.