Articles on deforestation of functional array/vector/matrix operations in a strict language

Also happy to receive articles on deforestation of List operations in a strict language. (I've turned up SPJ's article on "easy" foldr based deforestation of Haskell's list routines).

FYI, my *general* motivation is to support within a language a family of sequence and matrix collections in a manner more-or-less "co-equal" (speed/space efficiency of operators) to the commonplace use of operators on Lists and (lazy) zLists: fixed length arrays, variable length (grow-able, mutable) vectors, Strings, and multidimensional matrices.

As always, many thanks in advance!


Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

single assignment C

I would look into the papers published by the SAC group.

Thank you! That is a place I

Thank you! That is a place I would not have thought to look.