Indexed codata types.

David Thibodeau Andrew Cave Brigitte Pientka

Published in: ICFP (2016)

Keyphrases

real world
real time
databases
case study
image sequences
objective function
cooperative
data analysis
expert systems
multiresolution
end users