Bidirectional Elaboration of Dependently Typed Programs.

Francisco Ferreira Brigitte Pientka

Published in: PPDP (2014)

Keyphrases

higher order
databases
computer mediated
computer programs
decision making
image processing
search algorithm
multi agent systems
heuristic search
intermediate level
automatic programming
lambda calculus
bidirectional search