Datos Identificativos					2019/20
Asignatura	Deseño das Linguaxes de Programación			Código	614G01065
Titulación	Grao en Enxeñaría Informática
Descriptores	Ciclo	Período	Curso	Tipo	Créditos
	Grao	1º cuadrimestre	Cuarto	Optativa	6
Competencias do título Resultados de aprendizaxe Contidos Planificación Metodoloxías Atención personalizada Avaliación Fontes de información Recomendacións

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