### Abstract

Language | English |
---|---|

Title of host publication | EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984 |

Editors | J P Fitch |

Place of Publication | Heidelberg |

Publisher | Springer |

Pages | 148-158 |

Number of pages | 11 |

Edition | 174 |

DOIs | |

Status | Published - 1984 |

Event | Proceedings of EUROSAM 84 - Duration: 1 Jan 1984 → … |

### Publication series

Name | Lecture Notes in Computer Science |
---|---|

Publisher | Springer Verlag |

### Conference

Conference | Proceedings of EUROSAM 84 |
---|---|

Period | 1/01/84 → … |

### Fingerprint

### Cite this

*EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984*(174 ed., pp. 148-158). (Lecture Notes in Computer Science). Heidelberg: Springer. https://doi.org/10.1007/BFb0032823

**A Pure And Really Simple Initial Functional Algebraic Language.** / Fitch, John P; Padget, Julian A.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

*EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984.*174 edn, Lecture Notes in Computer Science, Springer, Heidelberg, pp. 148-158, Proceedings of EUROSAM 84, 1/01/84. https://doi.org/10.1007/BFb0032823

}

TY - GEN

T1 - A Pure And Really Simple Initial Functional Algebraic Language

AU - Fitch, John P

AU - Padget, Julian A

PY - 1984

Y1 - 1984

N2 - A medium sized algebra system supporting rational functions and some elementary functions, which is written in the purely functional subset of LISP is described. This is used to investigate the practicability of writing systems in a no-side effect, no property list, pure style. In addition, using the experimental LISP system in Bath that allows for full environment closures, ways have been discovered in which eager (applicative) evaluation and lazy (normal) evaluation strategies can be applied to computer algebra. The system is demonstrated on some well known sample programs.

AB - A medium sized algebra system supporting rational functions and some elementary functions, which is written in the purely functional subset of LISP is described. This is used to investigate the practicability of writing systems in a no-side effect, no property list, pure style. In addition, using the experimental LISP system in Bath that allows for full environment closures, ways have been discovered in which eager (applicative) evaluation and lazy (normal) evaluation strategies can be applied to computer algebra. The system is demonstrated on some well known sample programs.

UR - http://dx.doi.org/10.1007/BFb0032823

U2 - 10.1007/BFb0032823

DO - 10.1007/BFb0032823

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 148

EP - 158

BT - EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984

A2 - Fitch, J P

PB - Springer

CY - Heidelberg

ER -