Methodologies for transformations and memoing in applicative languages (1984)

by A Pettorossi