Abstract
The Bird-Meertens formalism is a second-order functional style of
data parallel programming in which a fixed set of second order functions
for each type is generated by a categorical construction. The
mathematical structure underlying such categorical data types is
important for software development by transformation. We show that it
can also be used at compile time to allow code generation in an
equational way
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
