| EPSRC Reference: |
GR/J52709/01 |
| Title: |
SAVE SPACE WITH LINEAR TYPES |
| Principal Investigator: |
Wadler, Professor P |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computing Science |
| Organisation: |
University of Glasgow |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
31 March 1994 |
Ends: |
30 March 1997 |
Value (£): |
136,969
|
| EPSRC Research Topic Classifications: |
| Parallel Computing |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Design a linear type system that allows fine control over space usage. Implement this type system by modifying the Glasgow Haskell compiler. Measure the performance of the compiler on suitable benchmarks. Seek improved theoretical foundations for linear types.
|
|
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.gla.ac.uk |