Login / Signup
A functional correspondence between monadic evaluators and abstract machines for languages with computational effects.
Mads Sig Ager
Olivier Danvy
Jan Midtgaard
Published in:
Theor. Comput. Sci. (2005)
Keyphrases
</>
databases
expressive power
language independent
multi lingual
functional language
deductive databases
artificial intelligence
high level
lower bound
low level
image matching
data exchange
cross lingual
computational power
functional programming
correspondence matching