Intensional Equality ;=) for Continuations.

Andrew W. Appel

Published in: ACM SIGPLAN Notices (1996)

Keyphrases

higher order
query evaluation
data integration
data mining
artificial intelligence
context dependent
real world
information systems
objective function
object recognition
fixpoint
database query languages