Bibliografía

Fundamentos de lenguajes de programación

• Essentials of Programming Languages. Friedman, Wand, Haynes. MIT Press, 2001. Site del libro.
• Foundations for Programming Languages, John Mitchell. MIT Press, 1996. Site del libro. Capítulo 2 en formato ps.
• On understanding types, data abstraction, and polymorphism. Luca Cardelli and Peter 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. .

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

• 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.