Approaching Side-effects in Pure Functional Programming by Interpreting Data Structures as Recipes.

Michal Strba Richard Ostertág

Published in: ITAT (2018)

Keyphrases

functional programming
data structure
functional language
quantifier elimination
execution model
programming language
object oriented programming
information systems
index structure
b tree