Title: Methodologies for transformations and memoing in applicative languages