Compiler generation by partial evaluation: a case study. Structured Program. 12, 123–144. Also as DIKU-report 88/24 and 90/16 (1991)

by C K GOMARD, N D JONES