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