• Bibliografía

    Fundamentos de lenguajes de programación

    • Essentials of Programming Languages. Friedman, Wand, Haynes. MIT Press, 2001. Sitio del libro.
    • Foundations for Programming Languages, John Mitchell. MIT Press, 1996. Sitio del libro.Capítulo 2 en formato ps.
    • On understanding types, data abstraction, and polymorphism. Luca Cardelli and Petser Wegner, Computing Surveys, 17(4):471-522, 1985.
    • Mathematical Foundations of Computer Science, Vol. 1: Sets, Relations, and Induction, P. Fejer and Dan Simovici, Springer Verlag, 1991. (Capítulo 4).
    • Types and Programming Languages, Benjamin C. Pierce, The MIT Press, 2002.
    • The Original Lambda Papers. Guy Steele and Gerald Sussman, 1975-1980 (colección de artículos sobre diversos usos del Cálulo Lambda, también conocidos como "Lambda, the ultimate..."). Sitio para descargas

    Programación Funcional

    • Introduction to Functional Programming using Haskell. R. S. Bird. Prentice-Hall, 1998.
    • The implementation of functional programming languages. S. L. Peyton Jones. Prentice-Hall - C.A.R. Hoare Series Editor, 1987.

    Programación Lógica

    • Logic Programming with Prolog. Max Bramer. Springer-Verlag, 2013.
    • SWI-Prolog 6.6.5 - Reference Manual. Jan Wielemaker. 2014. Disponible en PDF y HTML.
    • Foundations of Logic Programming. John Wylie Lloyd. Springer-Verlag, 1984.
    • Logic for Computer Science: Foundations of Automatic Theorem Proving. Jean H. Gallier. 1986.Versión online

    Programación Orientada a Objetos

    • Diseño orientado a objetos: C.Liu, "SmallTalk, Objects, and Design", Manning Publications, 1996 (disponible en Infoteca).
    • Smalltalk: A. Goldberg, D. Robson, "Smalltalk-80 the Language and its Implementation", Addison-Wesley, 1983.
    • Fundamentos: M. Abadi, L. Cardelli, "A Theory of Objects", 1997. (Presentación asociada).
    • Otros libros de interés: descarga gratuita.