EPSRC logo

Details of Grant 

EPSRC Reference: GR/M15996/01
Title: PARAMETRICITY AND REFLEXIVE GRAPHS
Principal Investigator: O'Hearn, Professor P
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: Queen Mary University of London
Scheme: Standard Research (Pre-FEC)
Starts: 09 May 1998 Ends: 08 August 1998 Value (£): 4,750
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
Data abstraction is of central concern in program design. Relational parametricity is a mathematical formalisation of this concept. Using parametricity, one can argue that two program modules that export types with operations are equivalent as long as the behaviour observable by client programs is the same. The purpose of this Visiting Fellowship application is to enable Reddy and O'Hearn to develop and continue their research addressing key issues in parametricity theory. Reddy has recently formulated an extension of reflexive graphs of categories, which were previously by O'Hearn and Tennent in their work on parametricity and local state, and encouraging further results have been obtained by O'Hearn and Reddy in the past few months. The overall aim of the work is to find an abstract framework for parameticity that can be specialised to be varied programming language phenomena.
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: