"Projection factorisations in partial evaluation" - читать интересную книгу автора (John Launchbury)