References

Harold Abelson, Gerald Jay Sussman, and Julie Sussman, The Structure and Interpretation of Computer Programs, MIT Press, 1996.

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

Christopher Allen and Julie Moronuki, Haskell Programming from First Principles, 2016. Available from https://haskellbook.com/.

Andrew Appel, “A critique of Standard ML”, Journal of Functional Programming, 3, 1993.

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.

John Backus, “Can programming be liberated from the Von Neumann style?”, cacm, 21, 1978.

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.

Richard Bird and Oege de Moor, Algebra of Programming, Prentice-Hall, 1997.

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.

Clojure, “Clojure”, 2026. Available at https://clojure.org/.

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

Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest, Introduction to Algorithms, MIT Press, 1990.

Elixir, “Elixir”, 2026. Available at https://elixir-lang.org/.

Elm, “Elm”, 2026. Available at https://elm-lang.org/.

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.

Andrew J. Gordon, Functional Programming and Input/Output, Cambridge University Press, 1994.

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

Pieter Hartel and Rinus Plasmeijer (eds.), Functional Programming Languages in Education (FPLE), Springer-Verlag, Lecture Notes in Computer Science, 1022, 1995.

Pieter Hartel and Rinus Plasmeijer, “Special issue on state-of-the-art applications of pure functional programming languages”, Journal of Functional Programming, 5, 1995.

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.

Konstantin L"aufer, “Type Classes with Existential Types”, Journal of Functional Programming, 6, 1996.

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.

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

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

Chris Okasaki, Purely Functional Data Structures, Cambridge University Press, 1998.

Laurence C. Paulson, Logic and Computation — Interactive proof with Cambridge LCF, Cambridge University Press, 1987.

Laurence C. Paulson, ML for the Working Programmer, Cambridge University Press, 1996.

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.

PureScript, “PureScript”, 2026. Available at https://www.purescript.org/.

Colin Runciman and David Wakeling (eds.), Applications of functional programming, UCL Press, 1995.

Rust, “The Rust Programming Language”, 2026. Available at https://www.rust-lang.org/.

Rebecca Skinner, Effective Haskell: Solving Real-World Problems with Strongly-Typed Functional Programming, Pragmatic Bookshelf, 2023.

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.

Simon Thompson, “Proof”, In Research Directions in Parallel Functional Programming, Springer Verlag, 1999.

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.