Cambridge University Press
    978-1-107-08720-0 - Thinking Functionally with Haskell
    Richard Bird
    Frontmatter
    More information
                       THINKINGFUNCTIONALLYWITHHASKELL
               Richard Bird is famed for the clarity and rigour of his writing. His new textbook,
               which introduces functional programming to students, emphasises fundamental
               techniques for reasoning mathematically about functional programs. By studying
               the underlying equational laws, the book enables students to apply calculational
               reasoning to their programs, both to understand their properties and to make them
               moreefficient.
                  The book has been designed to fit a first- or second-year undergraduate course
               andisathoroughoverhaulandreplacementofhisearliertextbooks.Itfeaturescase
               studies in Sudoku and pretty-printing, and over 100 carefully selected exercises
               withsolutions.Thisengagingtextwillbewelcomedbystudentsandteachersalike.
    © in this web service Cambridge University Press                                    www.cambridge.org
    Cambridge University Press
    978-1-107-08720-0 - Thinking Functionally with Haskell
    Richard Bird
    Frontmatter
    More information
    © in this web service Cambridge University Press                                    www.cambridge.org
    Cambridge University Press
    978-1-107-08720-0 - Thinking Functionally with Haskell
    Richard Bird
    Frontmatter
    More information
                          THINKINGFUNCTIONALLY
                                        WITH HASKELL
                                             RICHARDBIRD
                                                University of Oxford
    © in this web service Cambridge University Press                                    www.cambridge.org
      Cambridge University Press
      978-1-107-08720-0 - Thinking Functionally with Haskell
      Richard Bird
      Frontmatter
      More information
                                         University Printing House, Cambridge CB2 8BS, United Kingdom
                                         Cambridge University Press is part of the University of Cambridge.
                                   It furthers the Universitys mission by disseminating knowledge in the pursuit of
                                   education, learning and research at the highest international levels of excellence.
                                                              www.cambridge.org
                                           Information on this title: www.cambridge.org/9781107087200
                                                              ©RichardBird2015
                                           This publication is in copyright. Subject to statutory exception
                                          and to the provisions of relevant collective licensing agreements,
                                           noreproduction of any part may take place without the written
                                                    permission of Cambridge University Press.
                                                              First published 2015
                                                               3rdiprintingi2015
                                               PrintedintheUnitedKingdombyClays,iStiIvesiplc
                                     Acatalogue record for this publication is available from the British Library
                                               Library of Congress Cataloguing in Publication data
                                                              Bird, Richard, 1943-
                                      Thinking functionally with Haskell / Richard Bird, University of Oxford.
                                                                  pages   cm
                                    ISBN978-1-107-08720-0(hardback) – ISBN 978-1-107-45264-0 (paperback)
                                             1. Functional programming (Computer science)  I. Title.
                                                              QA76.62.B5732014
                                                                 005.1′14–dc23
                                                                  2014024954
                                                       ISBN978-1-107-08720-0Hardback
                                                       ISBN978-1-107-45264-0Paperback
                                   Additional resources for this publication at www.cambridge.org/9781107087200
                                  Cambridge University Press has no responsibility for the persistence or accuracy of
                                   URLsforexternal or third-party internet websites referred to in this publication,
                                     and does not guarantee that any content on such websites is, or will remain,
                                                             accurate or appropriate.
     © in this web service Cambridge University Press                                                           www.cambridge.org