EPSRC logo

Details of Grant 

EPSRC Reference: GR/M04716/01
Title: LILY: THEORY AND PRACTICE OF LINEAR POLYMORPHIC INTERMEDIATE LANGUAGES
Principal Investigator: Pitts, Professor AM
Other Investigators:
Bierman, Dr G
Researcher Co-Investigators:
Project Partners:
Pre Nexus Migration
Department: Computer Science and Technology
Organisation: University of Cambridge
Scheme: Standard Research (Pre-FEC)
Starts: 01 April 1998 Ends: 30 June 2001 Value (£): 148,088
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Information Technologies
Related Grants:
Panel History:  
Summary on Grant Application Form
Programming languages have a huge impact upon society, because they are the means by which every software product is created. This work targets higher order typed programming languages, which seek to ease the task of producing large-scale software products through the provision of abstract and semantically motivated facilities (e.g. functions, objects and concurrent processes). Expressive type systems in the intermediate languages of compilers for such languages provide the opportunity for optimising transformation leading to substantial improvement in both time and space requirements. This project will devise an intermediate language incorporating polymorphic linear types. There are good indications that such a type system is both very expressive (i.e. can be the target for compiling a wide range of features of existing higher order typed languages) and provides interesting opportunities for optimising transformations. We will investigate whether this is the case and produce prototype implementations. The technical novelty of our approach lies in the application of recently developed operationally based methods for analysing properties of higher order typed programming languages. Collaboration with Persimmon IT will enable us to draw upon their experience developing a monad-based intermediate language in their SML-to-Java-bytecode compiler to test our proposed extension from monadic types to polymorphic linear ones.
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: http://www.cam.ac.uk