PEPM'94

Special issue of Lisp and Symbolic Computation

Revised versions of the following five papers from PEPM'94 have been published as a special issue of Lisp and Symbolic Computation, volume 8, number 3, October 1995 (Kluwer Academic Publishers).

• 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
• Clem Baker-Finch: Type Theory and Projections for Static Analysis

Online workshop proceedings

The workshop proceedings consist of the following parts, available online:

• Front page
• Introduction
• Anders Bondorf and Dirk Dussart: Improving CPS-Based Partial Evaluation, Writing Cogen by Hand
• Olivier Danvy, Karoline Malmkjær and Jens Palsberg: The Essence of Eta-Expansion in Partial Evaluation
• Leonidas Fegaras, Tim Sheard and Tong Zhou: Improving Programs Which Recurse over Multiple Inductive Structures
• Simon A. Courtenage and Chris D. Clack: Analysing Resource Use in the Lambda Calculus by Type Inference
• Clem Baker-Finch: Type Theory and Projections for Higher-Order Static Analysis
• Kei Davis: PERs from Projections for Binding-Time Analysis
• Lars Birkedal and Morten Welinder: Binding-Time Analysis for Standard ML
• Peter Thiemann: Higher-Order Redundancy Elimination
• Jeffrey Dean, Craig Chambers, and David Grove: Identifying Profitable Specialization in Object-Oriented Languages
• Mark Leone and Peter Lee: Lightweight Run-Time Code Generation
• Mark P. Jones: Dictionary-Free Overloading by Partial Evaluation
• Romana Baier, Robert Glück, and Robert Zöchling: Partial Evaluation of Numerical Programs in Fortran
• Andrew A. Berlin and Rajeev J. Surati: Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience

Printed workshop proceedings

Technical Report 94/9, Department of Computer Science, University of Melbourne, Australia. To obtain a copy, contact Dr. Harald Søndergaard (harald@cs.mu.oz.au).

PEPM'94 Program Committee

• Charles Consel, IRISA, Rennes, France
• John Gallagher, Bristol University, UK
• John Hannan, Pennsylvania State University, PA, USA
• John Hughes, Chalmers University of Technology, G{\"o}teborg, Sweden
• Neil D. Jones, DIKU, University of Copenhagen, Denmark
• Patrick O'Keefe, Watertown, MA, USA
• Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia
• Erik Ruf, Microsoft Research Laboratory, Redmond, WA, USA
• Peter Sestoft, Royal Veterinary and Agricultural University, Denmark
• Harald Søndergaard, The University of Melbourne, Australia
• Pascal Van Hentenryck, Brown University, RI, USA
• Wei-Ngan Chin, National University of Singapore