Login / Signup
'do' unchained: embracing local imperativity in a purely functional language (functional pearl).
Sebastian Ullrich
Leonardo de Moura
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
functional language
functional programming
programming language
proof planning
object identity
general purpose
execution model
knowledge base
object oriented
software engineering
concept formation
database
tabu search
inference rules
theorem proving