| EPSRC Reference: |
GR/L03279/01 |
| Title: |
ELEMENTARY STRONG FUNCTIONAL PROGRAMMING |
| Principal Investigator: |
Turner, Professor D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Computing |
| Organisation: |
University of Kent |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
14 October 1996 |
Ends: |
13 October 1999 |
Value (£): |
148,924
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Existing formalisms for functional programming are weak in that termination is not guaranteed. In strong functional programming error-free termination of well-typed expressions is guaranteed. The advantages include a simpler proof theory and greater flexibility of implementation. Computationally powerful systems of strong functional programming are known, but up to now have involved dependent types or second order types. The proposer has recently developed a discipline of strong functional programming which does not involve higher order or dependent types. We propose to investigate the practicality of this discipline by recoding within it standard algorithms from a variety of application areas, and to test the hypothesis that this leads to greater potential for efficient execution.Key Words: Functional Programming, Secure Computation
|
|
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.kent.ac.uk |