Sign in

An Implementation of Syntax Directed Functional Programming on Nested-Stack Machines.

Heinz FaßbenderHeiko Vogler
Published in: Formal Aspects Comput. (1992)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • programming language
  • object oriented programming
  • databases
  • quantifier elimination