A new array operation (1986)

by P WADLER
Venue:In Workshop on Graph Reduction Techniques, SpringerVerlag LNCS