Login / Signup

Computation by interaction for space-bounded functional programming.

Ugo Dal LagoUlrich Schöpp
Published in: Inf. Comput. (2016)
Keyphrases
  • functional programming
  • functional language
  • programming language
  • quantifier elimination
  • low dimensional
  • execution model