Lambda-dropping: transforming recursive equations into programs with block structure.

Olivier Danvy Ulrik Pagh Schultz

Published in: Theor. Comput. Sci. (2000)

Keyphrases

structural information
graph structure
neural network
information retrieval
search engine
relational databases
graphical models
fixpoint