\indexentry{WHNF|see{weak head normal form}}{0}
\indexentry{Three Instruction Machine|see{TIM}}{0}
\indexentry{constant applicative form|see{CAF}}{0}
\indexentry{data structures|see{algebraic data types}}{0}
\indexentry{algebraic data types|see{data structures}}{0}
\indexentry{structured data|see{data structures}}{0}
\indexentry{constructors|see{data structures}}{0}