TY - DATA AU - John Hatcliff, Torben Mogensen, Peter Thiemann TI - Partial Evaluation: Practice and Theory SN - 9783540470182 PY - 1999/// PB - Springer Berlin Heidelberg KW - Computer Science UR - https://doi.org/10.1007/3-540-47018-2 ER -