Login / Signup

Features from functional programming for a C++ skeleton library.

Herbert KuchenJörg Striegnitz
Published in: Concurr. Pract. Exp. (2005)
Keyphrases
  • functional programming
  • web services
  • functional language
  • high level
  • business process
  • integrity constraints
  • concept formation
  • quantifier elimination
  • proof planning