TY - BOOK AU - Eijck,J.van AU - Unger,Christina TI - Computational semantics with functional programming SN - 9780521760300 (hbk.) PY - 2010/// CY - Cambridge, UK. PB - Cambridge University Press KW - Programming languages (Electronic computers) KW - Semantics KW - Functional programming (Computer science) KW - Haskell (Computer program language) N1 - Includes bibliographical references and index ER -