Live Functional Programming with Typed Holes.

Cyrus Omar Ian Voysey Ravi Chugh Matthew A. Hammer

Published in: CoRR (2018)

Keyphrases

functional programming
functional language
programming language
execution model
object oriented programming
quantifier elimination
databases
general purpose
distributed systems
logic programming
sliding window