Login / Signup

How to Use Guarded Functional Programming.

Roland Dietrich
Published in: Declarative Programming (1991)
Keyphrases
  • functional programming
  • functional language
  • programming language
  • execution model
  • fixed point
  • quantifier elimination
  • object oriented programming
  • databases
  • database
  • high level
  • response time
  • constraint databases