Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space).

Leonidas Fegaras Tim Sheard

Published in: POPL (1996)

Keyphrases

data types
low dimensional
functional programs
data structure
space time
embedded systems
data sets
bayesian networks
multiscale
search space
database management systems
user defined
vector space
parameter space
computer programs
higher dimensional