A-normal form or administrative normal form (abbreviated ANF) is an intermediate representation of programs in functional compilers.
