Login / Signup

GRAAL: A Functional Programming System with Uncurryfied Combinators and its Reduction Machine.

Patrick Bellot
Published in: ESOP (1986)
Keyphrases
  • functional programming
  • quantifier elimination
  • execution model
  • programming language
  • functional language
  • object oriented programming
  • general purpose
  • artificial intelligence
  • management system
  • object oriented