Origen y fundamentos de la programación funcional: teoría de tipos y λ-cálculo

Pequeño repaso histórico y fundamental de conceptos originarios de la programación funcional, en particular, de Haskell.