Details of Grant 

EPSRC Reference:	GR/L63860/01
Title:	TYPES, STATE AND POLYMORPHISM
Principal Investigator:	O'Hearn, Professor P
Other Investigators:	Robinson, Professor E
Researcher Co-Investigators:
Project Partners:
Department:	Computer Science
Organisation:	Queen Mary University of London
Scheme:	Standard Research (Pre-FEC)
Starts:	01 August 1997	Ends:	31 July 1998	Value (£):	6,824
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
Recently, O'Hearn and Reynolds have discovered how to translate Algol-like languages into polymorphic linear A-calculus. The translations make the pattern of storage utilisation in source progress explicit, in target language types. We wish to explore the possibilities offered by types lying outside the ranges of our translations; many of these types appear to retain Algol's stach-like character, while others suggest allocation policies between pure stach and heap management. We are also interested in linguistic mechanisms that make use of region analysis, developed by Totte and Talpino as an implementation technique intermediate between stach and heap disciplines. Finally, we plan to study the semantics of parametric polymorphism, both to support our imperative work and for its inherent interest.
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: