|
Bibliografía básica
|
Benjamin C. Pierce (2002). Types and Programming Languages. The MIT Press, Cambridge, MA
Kim B. Bruce (2002). Foundations of Object-Oriented Languages: Types and Semantics. The MIT Press, Cambridge, MA
Michael L. Scott (2009). Programming Language Pragmatics. Third edition. Morgan Kaufmann Publishers, Burlington, MA
Fortnow, Lance (2013). P, NP, and the search for the impossible. Princeton University Press
|
|
Bibliografía complementaria
|
Franklyn A. Turbak and David K. Gifford (2008). Design Concepts in Programming Languages. MIT Press, Cambridge, MA
Robert W. Sebesta (2010). Concepts of Programming Languages. Pearson
David A. Watt (2004). Programming Language Design Concepts. John Wiley and sons, Chichester, West Suusex, England
|
Asignaturas