Partial Evaluation of Call-by-Value lambda-Calculus with Side-Effects.

Kenichi Asai Hidehiko Masuhara Akinori Yonezawa

Published in: PEPM (1997)

Keyphrases

partial evaluation
lambda calculus
explanation based generalization
programming language
higher order
predicate calculus
database query languages
databases
knowledge base
machine learning
data points
software engineering
xml data
xpath queries
program understanding