Login / Signup
FP²: Fully in-Place Functional Programming.
Anton Lorenzen
Daan Leijen
Wouter Swierstra
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
functional programming
quantifier elimination
execution model
functional language
programming language
object oriented programming
database systems
database
databases
high level
general purpose
key features