Special Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94)

LISP and Symbolic Computation
Volume 8, Issue 3
October 1995

Table of Contents

Lars Birkedal and Morten Welinder
"Binding-Time Analysis for Standard ML"

Olivier Danvy, Karoline Malmkjær and Jens Palsberg
"The Essence of Eta-Expansion in Partial Evaluation"

Mark P. Jones
"Dictionary-Free Overloading by Partial Evaluation"

Kei Davis
"PERs from Projections for Binding-Time Analysis"

Clement A. Baker-Finch
"Type Theory and Projections for Static Analysis"