Special Issue on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'94)LISP and Symbolic Computation
Volume 8, Issue 3
Table of ContentsLars 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"
Last modified: Monday, February 16th, 2009 6:22:14pm
HTML generated using WebIt!.