Login / Signup
The Essence of Eta-Expansion in Partial Evaluation.
Olivier Danvy
Karoline Malmkjær
Jens Palsberg
Published in:
PEPM (1994)
Keyphrases
</>
partial evaluation
explanation based generalization
domain theory
xpath queries
higher order
co occurrence