A provable time and space efficient implementation of NESL (0)

by G E Blelloch, J Greiner
Venue:In ICFP: International Conference on Functional programming. ACM