Login / Signup

Type Inference for Sublinear Space Functional Programming.

Ugo Dal LagoUlrich Schöpp
Published in: APLAS (2010)
Keyphrases
  • functional programming
  • functional language
  • execution model
  • quantifier elimination
  • relational databases
  • programming language