Login / Signup

Functional programming with λ-tree syntax.

Ulysse GérardDale MillerGabriel Scherer
Published in: PPDP (2019)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • tree structure
  • programming language
  • quantifier elimination
  • object oriented programming
  • r tree
  • general purpose
  • index structure