"Partial evaluation and automatic program generation" - читать интересную книгу автора (Neil D. Jones, Carsten K. Gomard, Peter Sestoft)