Login / Signup

The Promises of Typed, Pure, and Lazy Functional Programming: Part II.

Konstantin LäuferGeorge K. Thiruvathukal
Published in: Comput. Sci. Eng. (2009)
Keyphrases
  • functional programming
  • execution model
  • functional language
  • programming language
  • quantifier elimination
  • object oriented programming
  • artificial intelligence
  • object oriented
  • general purpose
  • distributed databases