References

Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman, Compilers: Principles, Techniques, and Tools, Addison Wesley, 2006.

Joe Armstrong, Programming Erlang: Software for a Concurrent World, The Pragmatic Bookshelf, 2007.

Lennart Augustsson, Howard Mansell, and Ganesh Sittampalam, “Paradise: a two-stage DSL embedded in Haskell”, In ICFP ’08, 225–228, ACM, 2008.

Conrad Barski, Land of Lisp: Learn to Program in Lisp, One Game at a Time!, Nostarch Press, 2010.

Elwyn R. Berlekamp, John H. Conway, and Richard K. Guy, Winning Ways for Your Mathematical Plays, A K Peters/CRC Press, 2001.

Richard Bird, Pearls of Functional Algorithm Design, Cambridge University Press, 2010.

Per Bjesse, Koen Claessen, Mary Sheeran, and Satnam Singh, “Lava: hardware design in Haskell”, In ICFP ’98, 174–184, ACM, 1998.

Cabal, “The Haskell Cabal”, 2010. Available at http://www.haskell.org/cabal/.

Francesco Cesarini and Simon Thompson, Erlang Programming: A Concurrent Approach to Software Development, O’Reilly, 2009.

Koen Claessen and John Hughes, “QuickCheck: a lightweight tool for random testing of Haskell programs”, In ICFP ’00, 268–279, ACM, 2000.

Koen Claessen and John Hughes, “Testing monadic code with QuickCheck”, In Haskell ’02, 65–77, ACM, 2002.

Koen Claessen and John Hughes, “Specification-based testing with QuickCheck”, In The Fun of Programming, Palgrave, 2003.

John Horton Conway, On Numbers and Games, A K Peters/CRC Press, 2002.

GHCi, “The Glasgow Haskell Compiler”, 2010. Available from http://www.haskell.org/ghc/.

Andy Gill, “Type-safe observable sharing in Haskell”, In Haskell ’09, 117–128, ACM, 2009.

Hackage, “The HackageDB”, 2010. Available at http://hackage.haskell.org/.

Paul Hudak, Joseph H. Fasel, and John Peterson, “A gentle introduction to Haskell”, 2000.

Michael Huth and Mark Ryan, Logic in Computer Science: modelling and reasoning about systems (second edition), Cambridge University Press, 2004.

Johan Jeuring and Erik Meijer (eds.), Advanced Functional Programming, Springer-Verlag, Lecture Notes in Computer Science, 925, 1995.

Johan Jeuring and Simon Peyton Jones (eds.), Advanced Functional Programming, Springer-Verlag, Lecture Notes in Computer Science, 2638, 2002.

Pieter Koopman, Rinus Plasmeijer, and Doaitse Swierstra (eds.), Advanced Functional Programming, Springer-Verlag, Lecture Notes in Computer Science, 5832, 2008.

John Launchbury and Trevor Elliott, “Concurrent Orchestration in Haskell”, In Haskell ’10, 79–90, ACM, 2010.

John Launchbury, Erik Meijer, and Tim Sheard (eds.), Advanced Functional Programming, Springer-Verlag, Lecture Notes in Computer Science, 1129, 1996.

Miran Lipovača, “Learn You a Haskell for Great Good!”, 2010. Available from https://learnyouahaskell.github.io/.

Simon Marlow (ed.), Haskell 2010 Language Report, 2010. http://www.haskell.org/definition/haskell2010.pdf.

Robin Milner, Mads Tofte, and Robert Harper, The Definition of Standard ML, MIT Press, 1990.

Bryan O’Sullivan, Don Stewart, and John Goerzen, Real World Haskell, O’Reilly, 2008.

Simon Peyton Jones, The Implementation of Functional Programming Languages, Prentice Hall, 1987.

Simon Peyton Jones, “Tackling the awkward squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell”, 2001. Available at http://research.microsoft.com/en-us/um/people/simonpj/papers/marktoberdorf/.

Simon Peyton Jones and David Lester, Implementing functional languages, Prentice Hall, 1992.

Chris Smith, Programming F#, O’Reilly, 2009.

SVG, “Scalable Vector Graphics (SVG) 1.1 (Second Edition)”, 2010. Available as http://www.w3.org/TR/SVG/.

S. Doaitse Swierstra, Pedro R. Henriques, and Jose N. Oliveira (eds.), Advanced Functional Programming, Springer-Verlag, Lecture Notes in Computer Science, 1608, 1998.

Simon Thompson, Miranda: The Craft of Functional Programming, Addison Wesley, 1995.

David A. Turner, “An Overview of Miranda”, SIGPLAN Notices, 21, 1986.

Varmo Vene and Tarmo Uustalu (eds.), Advanced Functional Programming, Springer-Verlag, Lecture Notes in Computer Science, 3622, 2004.

Malcolm Wallace and Colin Runciman, “Haskell and XML: generic combinators or type-based translation?”, In ICFP ’99, 148–159, ACM, 1999.