Title: Partial evaluation and program transformation
Subjects: Computer software, Congresses, Evaluation, Functional programming, Programming languages (Electronic computers), Semantics