EPSRC logo

Details of Grant 

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:
Lombard Risk Systems Ltd Microsoft
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:
Parallel Computing
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