| EPSRC Reference: |
GR/S55941/01 |
| Title: |
Computational Adequacy for Models of Parametric Polymorphism |
| Principal Investigator: |
Simpson, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Services |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
24 August 2003 |
Ends: |
23 September 2003 |
Value (£): |
2,280
|
| 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 |
|
The goal of this proposal is to obtain a visiting fellowship for Professor G Rosolini to visit Edinburgh for two weeks in August and September 2003. During this visit he will collaborate with the principal investigator on establishing computational adequacy for the interpretation of polymorphic programming languages in models of parametric polymorphism with recursion. Such results are essential for showing the correctness of denotational methods for reasoning about programs. The research will be written up and submitted to an international conference during the months immediately following Rosolini's visit.
|
|
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.ed.ac.uk |