Functional Programming in Sublinear Space.

Ugo Dal Lago Ulrich Schöpp

Published in: ESOP (2010)

Keyphrases

functional programming
programming language
quantifier elimination
low dimensional
object oriented programming
execution model
functional language
databases
information systems
data structure
relational databases