Call-by-name extensionality and confluence.

Philip Johnson-Freyd Paul Downen Zena M. Ariola

Published in: J. Funct. Program. (2017)

Keyphrases

rewrite systems
update operators
databases
data mining
machine learning
probabilistic model
active databases