| EPSRC Reference: |
GR/L34761/01 |
| Title: |
FIRST-CLASS MODULES FOR COMPONENT-BASED PROGRAMMING |
| Principal Investigator: |
Peyton Jones, Professor L |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computer Science |
| Organisation: |
University of Nottingham |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 1997 |
Ends: |
31 October 1999 |
Value (£): |
157,990
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
Information Technologies |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Component-based programming is widely used in industry to support rapid application development. We plan to apply modern type system technology to make component-based programming more robust, more secure, and more expressive. In the context of the functional programming language Haskell, we will study and design certain type-system extensions; we will implement them; and we will apply them in a commercial setting to real applications. We will be informed by, and will compare our work with, commercial application frameworks for component-based programming. On the way we will integrate the Glasgow Haskell Compiler (GHC) with the Haskell Users Gofer System (Hugs) to produce an integrated functional programming environment available on PCs. This system is already exciting interest from both suppliers (Microsoft) and users (Rolls Royce).
|
|
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.nottingham.ac.uk |