A Type Theoretic Specification of Partial Evaluation.

Kenichi Asai Luminous Fennell Peter Thiemann Yang Zhang

Published in: PPDP (2014)

Keyphrases

partial evaluation
explanation based generalization
databases
high level
support vector
feature space