Methodologies for Transformations and Memoing in Applicative Languages (1984)

by A Pettorossi