This paper surveys sequential and parallel implementation techniques
for functional programming languages, as well as optimizations that can
improve their performance.  Sequential implementations have evolved
from simple interpreters to sophisticated super-combinator-based
compilers, while most parallel implementations have explored a broad
range of techniques.  We analyze the purpose and function of each
implementation technique and discuss the current state-of-the-art in
functional language implementation.