Login / Signup

Functional Programming and the Logical Variable.

Gary Lindstrom
Published in: POPL (1985)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • programming language
  • object oriented programming
  • quantifier elimination
  • artificial intelligence
  • knowledge base
  • database
  • data structure