The paper describes the internal structure of HOSC, an experimental supercompiler
dealing with programs written in a higher-order functional language.
A detailed and formal account is given of the concepts and algorithms the supercompiler
is based upon.
