Functions and Relations: The GRAAL System

@inproceedings{Bellot1988FunctionsAR,
  title={Functions and Relations: The GRAAL System},
  author={P. Bellot and R. Legrand},
  booktitle={STACS},
  year={1988}
}
  • P. Bellot, R. Legrand
  • Published in STACS 1988
  • Computer Science
  • GRAAL, acronym of General Recursivc Applicative and Algorithmic Language, is the name of a functional programming system issued from FP systems and Combinatory Logic. It has been implemented in a dialect of the C TM programming language named Samadhi (Bellot 86). GRAAL is very close to most of the Lisp systems. The user types some function definitions and reduces some expressions. The system is interactive as a Lisp and provides the same kind of objects, that is symbols, lists, dynamic arrays… CONTINUE READING

    References

    SHOWING 1-3 OF 3 REFERENCES
    Extending Functional Programming Towards Relations
    • 3
    • PDF
    A theory for natural modelisation and implementation of functions with variable arity
    • 6
    • PDF
    Sur les Sentiers du Graal, Etude, Conception et R~alisation d'un Langage de Programmation sans Variable,, Th6se d'Etat
    • Rapport LITP 86-62,
    • 1986