Type-Based Productivity of Stream Definitions in the Calculus of Constructions.

Jorge Luis Sacchini

Published in: LICS (2013)

Keyphrases

data streams
data sets
sliding window
decision making
image sequences
software development
type checking
search engine
computer vision
probabilistic model
software engineering
database programming language