Typed Programming Languages for Communicating Object Systems

Funding

This project is funded by a travel grant from the British Council in Portugal (£1000) and the Portuguese Council of University Rectors (Euro 1500) under the Treaty of Windsor Programme. The project will run from April 2002 to April 2003.

Collaboration

The project is a collaboration with Dr Vasco Vasconcelos of the University of Lisbon and Dr Antonio Ravara of the Technical University of Lisbon.

Goals

• To understand the relationship between session types (structured specifications of communication channels, describing branching sequences of message types) and non-uniform object types (in which the availability of methods is dependent on an object's state).
• To develop the ideas of session types and non-uniform object types into type systems or program analysis tools which can be applied to mainstream programming languages.