TY - BOOK AU - Nielson, Flemming AU - Nielson, Hanne Riis TI - Two-level functional languages SN - 0521018471 CY - Cambridge ER -