Data Field Haskell is an extension of the functional language Haskell with data fields, a generic and flexible data type for indexed entities. Data fields extend the array concept to sparse, irregular, and possibly infinite data structures. Data Field Haskell supports data parallel programming, a programming style where data structures are used directly in operations rather than the individual elements. It is often possible to write very generic data parallel programs, at a high level of abstraction, in this language. Thus, Data Field Haskell is apt as a high-level specification language for systems where parallelism is important, like systems-on-chip.
Elemental Function Overloading in Explicitly Typed Languages (Sep 2000) Claes Thornberg , Björn Lisper Proc. 12th International Workshop of Implementation of Functional Languages
Development of Parallel Algorithms in Data Field Haskell (Aug 2000) Jonas Holmerin , Björn Lisper Proc. Euro-Par 2000
Development and Verification of Parallel Algorithms in the Data Field Model (Jul 2000) Björn Lisper, Jonas Holmerin Proc. 2nd Int. Workshop on Constructive Methods for Parallel Programming
Implementing Data Fields in Haskell (Nov 1999) Jonas Holmerin