Bidirectional Transformations with Deltas: A Dependently Typed Approach (Talk Proposal).

Published in: Bx@ETAPS (2016)

Keyphrases

higher order
databases
lambda calculus
data model
image transformations
real time
search engine
computer vision
metadata
image processing
website
case study
objective function
data streams
preprocessing
multiresolution