A Pure And Really Simple Initial Functional Algebraic Language

John P Fitch, Julian A Padget

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding


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.
Original languageEnglish
Title of host publicationEUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984
EditorsJ P Fitch
Place of PublicationHeidelberg
Number of pages11
Publication statusPublished - 1984
EventProceedings of EUROSAM 84 -
Duration: 1 Jan 1984 → …

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag


ConferenceProceedings of EUROSAM 84
Period1/01/84 → …


Dive into the research topics of 'A Pure And Really Simple Initial Functional Algebraic Language'. Together they form a unique fingerprint.

Cite this