A Static Calculus of Dependencies for the lambda-Cube.

Frédéric Prost

Published in: LICS (2000)

Keyphrases

multi dimensional
lambda calculus
fixed point
dependency analysis
knowledge representation
data cube
provably correct
dependency graphs
genetic algorithm
data dependencies