Login / Signup
Computation by interaction for space-bounded functional programming.
Ugo Dal Lago
Ulrich Schöpp
Published in:
Inf. Comput. (2016)
Keyphrases
</>
functional programming
functional language
programming language
quantifier elimination
low dimensional
execution model