Login / Signup
Type Specialisation for the lambda-Calculus; or, A New Paradigm for Partial Evaluation Based on Type Inference.
John Hughes
Published in:
Dagstuhl Seminar on Partial Evaluation (1996)
Keyphrases
</>
partial evaluation
lambda calculus
general purpose
higher order
learning algorithm
natural language
prior knowledge
object oriented