Login / Signup
The Best of Both Worlds: Linear Functional Programming without Compromise.
J. Garrett Morris
Published in:
CoRR (2016)
Keyphrases
</>
functional programming
functional language
programming language
execution model
quantifier elimination
object oriented programming