Using human-in-the-loop synthesis to author functional reactive programs.

Julie L. Newcomb Rastislav Bodík

Published in: CoRR (2019)

Keyphrases

functional programs
databases
social networks
human subjects
functional language
decision making
e learning
high level
mobile robot
object oriented
human experts
computer programs