TY - BOOK AU - Launchbury,John TI - Projection factorisations in partial evaluation T2 - Distinguished dissertations in computer science SN - 9780511569814 (ebook) AV - QA76.6 .L3486 1991 U1 - 005.4/5 20 PY - 1991/// CY - Cambridge PB - Cambridge University Press KW - Computer programming KW - Factorization (Mathematics) N1 - Title from publisher's bibliographic system (viewed on 05 Oct 2015) N2 - Programming frequently requires that problems are broken down into subproblems and then each subproblem solved independently. These solutions may then be combined to provide a solution to the original problem. Partial evaluation is a serious attempt to tackle this issue, allowing the programmer to write programs in a highly interpretive style without paying the price in efficiency. This thesis covers the theory and practice behind practical evaluation UR - https://doi.org/10.1017/CBO9780511569814 ER -