A provably time and space e#cient implementation of NESL (1996)

by G E Blelloch, J Greiner
Venue:In Proceedings of the ACM SIGPLAN International Conference on Functional Programming