Login / Signup

Analytical Inductive Functional Programming.

Emanuel Kitzelmann
Published in: LOPSTR (2008)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • quantifier elimination
  • programming language
  • object oriented programming
  • databases
  • machine learning
  • distributed databases
  • knowledge representation