Live functional programming with typed holes.

Cyrus Omar Ian Voysey Ravi Chugh Matthew A. Hammer

Published in: Proc. ACM Program. Lang. (2019)

Keyphrases

functional programming
functional language
execution model
programming language
quantifier elimination
object oriented programming
databases
artificial intelligence
multi dimensional
reverse engineering