"Partial Evaluation and Automatic Program Generation " - читать интересную книгу автора (Neil D. Jones, Carsten K. Gomard, Peter Sestoft)