TY - BOOK AU - Launchbury,John TI - Projection factorisation in partial evaluation PY - 1991/// CY - New york PB - Cmbridge university press KW - computer science N1 - index ER -