A New Array Operation (1986)

by Philip Wadler
Venue:Proceedings of the Graph Reduction Workshop