Iteration for applicative languages
Antonio Luz Furtado, P. A. S. Velosa · ACM SIGPLAN Notices · 1988
The mathematical notion of function exponentiation is used to introduce an iteration construct suitable to applicative languages. The elements of the construct are explained as well as its evaluation. A prototype Prolog implementation is included to illustrate the discussion.