Recursos
Bibliografía básica.
Harper Robert
Practical Foundations for Programming Languages
Pierce Benjamin
Types and Programming Languages
MIT Press. 2002
Bibliografía de consulta
Franklyn Turbak, David Gifford, Mark A. Sheldon
Design Concepts in Programming Languages
Gilles Dowek, Jean-Jacques Levy
Introduction to the Theory of Programming Languages
Undergraduate Topics in Computer Science
Springer Verlag 2011
Gilles Dowek.
Principles of Programming Languages
Undergraduate Topics in Computer Science
Springer Verlag 2009
Maurizio Gabbrielli, Simone Martini.
Programming Languages: Principles and Paradigms
Undergraduate Topics in Computer Science
Springer Verlag 2010
Mitchell John
Concepts in Programming Languages
Cambridge University Press. 2003
Mitchell John
Foundation for Programming Languages
MIT Press 1996.
Friedman Daniel P., Wand Mitchell., Haynes Christopher
Essentials of Programming Languages
Second Edition. MIT Press. 2001
Krishnamurthi S.
Programming Languages Application and Interpretation
Versión 26.04.2007
Haskell
Haskell. Página oficial del lenguaje incluyendo intérpretes, tutoriales, etc.
UNAM
Miscelanea
Type Systems. Artículo panorámico acerca de sistemas de tipos por Luca Cardelli.
Great Works in Programming Languages. Recopilación de artículos de importancia en lenguajes de programación.
Lambda the Ultimate. Weblog de lenguajes de programación.