Partial Evaluation of Polymorphically Typed Functional Languages: the Representation Problem.

Anne De Niel Eddi Bevers Karel De Vlaminck

Published in: JTASPEFT/WSA (1991)

Keyphrases

partial evaluation
explanation based generalization
higher order
databases
expressive power
software engineering
domain theory