EPSRC logo

Details of Grant 

EPSRC Reference: GR/N39494/01
Title: NOVEL TYPE SYSTEMS FOR CONCURRENT PROGRAMMING LANGUAGES
Principal Investigator: Schneider, Professor SA
Other Investigators:
Gay, Professor SJ
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: Royal Holloway, Univ of London
Scheme: Standard Research (Pre-FEC)
Starts: 01 March 2000 Ends: 31 December 2002 Value (£): 12,985
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors Communications
Information Technologies
Related Grants:
Panel History:  
Summary on Grant Application Form
The aim of the project is to develop a concurrent programming language with a type system which allows the high level description of complex communication patterns. This will achieved by modifying the existing definition and implementation of the Pict language. The specific goal is to add 'session types' (types describing extended dialogues on particular communication channels) to Pict, so that they coexist smoothly with the present Pict type system. The first step will be to disable the more complex features of the Pict type system (primarily subtyping and higher order polymorphism) and add session types in isolation. Then the interactions between session types and other typing features will be investigated: the relationship between session types and higher order polymorphism is the main theoretical challenge. Finally, the orginal Pict type system will be restored, in combination with session types. The result will be a new version of Pict with an enhanced type system, supported by static type checking. The benefits of the new type system will be demonstrated by an extensive suite of examples and case studies.
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Summary
Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:  
Further Information:  
Organisation Website: