"Partial Evaluation - Practice and Theory, DIKU 1998" - читать интересную книгу автора (John Hatcliff, Torben Mogensen, Peter Thiemann)