Deforesting in accumulating parameters via type-directed transformations (2002)

by S Nishimura
Venue:In: Asian Workshop on Programming Languages and Systems