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 🧑🏿‍🏫

Página principal de la UNAM.

Facultad de Ciencias.

Difusión Cultural.

Calendarios 2019 - 2020

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.