next up previous contents index
Next: Rules of Associativity Up: Eta Conversion Previous: -Reduction   Contents   Start

$ \eta $-Abstraction

$ \eta $-abstraction on the contrary is useful in `eager' languages to create a wrapper around a lambda-expression. In `lazy' languages like Lambda Calculus, A++, SML, Haskell, Miranda etc. $ \eta $-conversion, abstraction and reduction alike, are mainly used within compilers. (See [Jon87] page 22.)

{\sc Rule 9 (Eta Abstraction)} \\
The following transf...
...leftarrow} M$\ ,
\end{center}where $x$\ may not be a free variable in $M$.

Georg P. Loczewski 2004-03-05

Impressum und Datenschutz