A provable time and space efficient implementation of nesl (1996)

by Guy E. Blelloch, John Greiner
Venue:In International Conference on Functional Programming