Login / Signup
The Essence of Eta-Expansion in Partial Evaluation.
Olivier Danvy
Karoline Malmkjær
Jens Palsberg
Published in:
LISP Symb. Comput. (1995)
Keyphrases
</>
partial evaluation
explanation based generalization
database systems
expert systems
domain theory