Login / Signup
Join inverse rig categories for reversible functional programming, and beyond.
Robin Kaarsgaard
Mathys Rennela
Published in:
CoRR (2021)
Keyphrases
</>
functional programming
functional language
programming language
execution model
quantifier elimination
object oriented programming
query optimization
join algorithms
software engineering
general purpose
database systems