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 : Compiling Techniques is recommended, Language Semantics & Implementation is strongly recommended. Successful completion of Year 3 of an Informatics Single or Combined Honours Degree, or equivalent by permission of the School.

? Co-requisites : Recommended companion courses are Formal Programming Language Semantics and Advances in Programming Languages.

Subject Areas

Home subject area

Programming Languages and Techniques, (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
08/01/2007	10:00	10:50	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.