Login / Signup

The Second Futamura Projection for Type-Directed Partial Evaluation.

Bernd GrobauerZhe Yang
Published in: High. Order Symb. Comput. (2001)
Keyphrases
  • partial evaluation
  • explanation based generalization
  • database
  • databases
  • keywords
  • information sources