Deferring the details and deriving programs.

Published in: TyDe@ICFP (2019)

Keyphrases

data structure
computer programs
implementation details
control structures
computer vision
control flow
databases
decision making
multimedia
query language
fixpoint
prolog programs
functional programs