Supercompiler HOSC 1.0: under the hood
Ilya G. Klyuchnikov · 2009
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.