Equational code generation: Implementing categorical data types for data parallelism (1994)

by D B Skillicorn, W Cai
Venue:In Proceedings of TENCON '94