| Título | Autor | Lugar | Edicíon |
|---|---|---|---|
| Programming languages theory and its implementation | Gordon, Michael J.C. | Nueva York | 1st ed. (1988) |
| The implementation of functional programming languages | Peyton Jones, Simon L. | Nueva York | [1st ed.] (1987) |
| An introduction to functional programming systems using Haskell | Davie, A. J. T. | Cambridge | 1st ed. (1992) |
| Haskell | Thompson, Simon | Harlow | 3rd ed. (c2011) |
| ML for the working programmer | Paulson, Lawrence C. | Cambridge | 2nd ed. (1996) |