Partial evaluation : practice and theory : DIKU 1998 International Summer School, Copenhagen, Denmark, June 29-July 10, 1998 / - Hatcliff, John; Mogensen, Torben Æ.; Thiemann, P. (Springer, 1999)