No. 6 (1997): RS-06 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure

Published: 1997-01-06