Implicit Typing à la ML for the Join-Calculus.

Cédric Fournet Cosimo Laneve Luc Maranget Didier Rémy

Published in: CONCUR (1997)

Keyphrases

maximum likelihood
query optimization
query processing
automated deduction
computer algebra
join algorithms
data mining
data distribution
spatial join
multiprocessor database