Login / Signup

The Role of Beta Conversion in Functional Programming.

Marek MensíkMarie DuzíJakub Kermaschek
Published in: EJC (2017)
Keyphrases
  • functional programming
  • functional language
  • programming language
  • execution model
  • object oriented programming
  • quantifier elimination
  • database
  • database systems
  • general purpose
  • fine grained
  • distributed databases