On Deforesting Parameters of Accumulating Maps (2002)

by Kazuhiko Kakehi, Robert Glück, Yoshihiko Futamura
Venue:In Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, volume 2372 of LNCS