Practical second Futamura projection: partial evaluation for high-performance language interpreters.

Published in: SPLASH (Companion Volume) (2019)

Keyphrases

partial evaluation
explanation based generalization
representation language
programming language
natural language
knowledge representation
higher order
xpath queries
information extraction
web documents
virtual machine
description language