TY - BOOK AU - Holyer Ian TI - Functional Programming with Miranda SN - 1857282485 PY - 1991/// PB - Ucl Press N2 - This book introduces not just a programming language but also a style of programming - the declarative style - in which less emphasis is put on programming detail and more on problem solving. Functional Languages, Miranda, The Design of Functions, The Design of Modules, The Design of Programs, High Level Implementation, Low Level Implementation, The Meaning of Programs, Other Functional Languages, Bibliography, Index ER -