Login / Signup
Type Inference for Sublinear Space Functional Programming.
Ugo Dal Lago
Ulrich Schöpp
Published in:
APLAS (2010)
Keyphrases
</>
functional programming
functional language
execution model
quantifier elimination
relational databases
programming language