Foundations of Programming Languages

Code:

CC440

Acronym:

CC440

Keywords
Classification	Keyword
OFICIAL	Computer Science

Instance: 2012/2013 - 1S

Active?	Yes
Responsible unit:	Department of Computer Science
Course/CS Responsible:	Master's Degree in Network and Information Systems Engineering

Cycles of Study/Courses

Acronym	No. of Students	Study Plan	Curricular Years	Credits UCN	Credits ECTS	Contact hours	Total Time
M:CC	3	PE do Mestrado em Ciência de Computadores	1	-	7,5	67	202,5
			2
MI:ERS	1	Plano de Estudos a partir de 2007	4	-	7,5	67	202,5

Teaching language

Portuguese

Mandatory literature

Nielson and Nielson; Semantics with Applications: an appetizer, 2007
Chris Hankin; An Introduction to Lambda Calculus for Computer Scientis

Complementary Bibliography

G. Winskel; The Formal Semantics of Programming languages, 1993
H. Barendregt; The Lambda Calculus: its syntax and semantics, 1985

Evaluation Type

Distributed evaluation with final exam