Sign in

Functional Programming with Side-Effects.

Mark B. Josephs
Published in: Sci. Comput. Program. (1986)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • quantifier elimination
  • programming language
  • object oriented programming
  • data streams
  • management system
  • general purpose