Types and Programming Languages (U01968)

? Credit Points : 10 ? SCQF Level : 10 ? Acronym : INF-4-TPL

To give a grounding in the designa and study of type systems for programming languages. This enables the better understanding of existing programming languages, as well as the ability to design new type systems and similar static analyses.

Entry Requirements

? Pre-requisites : At least 40 points from Schedule O at level 9/10. Recommended: Compiling Techniques. Strong recommended: Language Semantics and Implementation.

? Co-requisites : Recommended: Formal Programming Language Semantics and Advances in Programming Languages

Subject Areas

Home subject area

Computer Science, (School of Informatics, Schedule O)

Delivery Information

? Normal year taken : 4th year

? Delivery Period : Semester 2 (Blocks 3-4)

? Contact Teaching Time : 2 hour(s) per week for 10 weeks

First Class Information

Date	Start	End	Room	Area	Additional Information
09/01/2006	10:00	11:00	Lecture Room 3315, JCMB	KB

All of the following classes

Type	Day	Start	End	Area
Lecture	Monday	10:00	10:50	KB
Lecture	Thursday	10:00	10:50	KB

Summary of Intended Learning Outcomes

After taking this course, a student should:
- Be able to explain the principles and practice of type systems for programming languages;
- Given a particular type system, describe and analyse the abstractions it provides;
- Conversely, given a description of an abstract property and a small programming language, design a static type system which implements captures an approximation of the property; relate type systems to other forms of static analysis;
- Compare programming languages based on features of their type systems.