| EPSRC Reference: |
GR/M04716/01 |
| Title: |
LILY: THEORY AND PRACTICE OF LINEAR POLYMORPHIC INTERMEDIATE LANGUAGES |
| Principal Investigator: |
Pitts, Professor AM |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| 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: |
|
| 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 |