Encyclopedia > A > Administrative normal form
Administrative normal form
Administrative normal form (ANF) is a canonical form for the λ-calculus that often serves as an intermediate representation in functional compilers. The constraints imposed by ANF make subsequent transformations to machine code more direct.
Information are taken from Wikipedia, the open encyclopedia, to which contribute many volunteers from around the whole world. Texts are available under the following conditions GNU Free Documentation License.
Encyklopedie (cz) Encyklopédia (sk) Enzyklopädie (de)