Monadic combinators for "Putback" style bidirectional programming.

Hugo Pacheco Zhenjiang Hu Sebastian Fischer

Published in: PEPM (2014)

Keyphrases

programming language
datalog queries
object oriented programming
programming environment
programming course
artificial intelligence
social networks
development environment
computer programming
general purpose
source code
deductive databases
programming concepts
fully functional