EPSRC Reference: |
GR/L01053/01 |
Title: |
COMPILER TECHNOLGY FOR TYPED, HEAP-BASED LANGUAGES |
Principal Investigator: |
Peyton Jones, Professor L |
Other Investigators: |
|
Researcher Co-Investigators: |
|
Project Partners: |
|
Department: |
School of Computing Science |
Organisation: |
University of Glasgow |
Scheme: |
Standard Research (Pre-FEC) |
Starts: |
01 July 1996 |
Ends: |
30 June 1997 |
Value (£): |
48,907
|
EPSRC Research Topic Classifications: |
|
EPSRC Industrial Sector Classifications: |
|
Related Grants: |
|
Panel History: |
|
Summary on Grant Application Form |
Andrew Appel is Professor of Computer Science at Princeton University, New Jersey, USA. His research interest are in functional programming languages and in compilation technology to make functional programming practical. He also ahs wide expertise in the field of programming languages and compilers, and is Editor in Chief of ACM Transaction in Programming Languages and Systems, the oldest and most prestigious journal in this field.Appel has implemented the Standard ML of New Jersey system ,the world's most widely used compiler for and statically typed functional programming language. SML/NJ is a very high performance compiler and runtime system for the strict functional language Standard ML. Appel would like to spend twelve months (Summer 1996-Summer 1997) at the University of Glasgow, in the Department of Computing Science. He is well known in the Department, and will work closely with both the Functional Programming Group and the Persistence and Distributed Systems Group. Furthermore, we plan less intensive interaction with a number of other individuals both at Glasgow and elsewhere in Britain.Appel is a world-class research star. We are very fortunate to attract him to the UK. We believe that supporting his visit would be a very cost-effective use of EPSRC funds.
|
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 |