|
|
Conferences in DBLP
- Anders Bondorf, Dirk Dussart
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:1-9 [Conf]
- Olivier Danvy, Karoline Malmkjær, Jens Palsberg
The Essence of Eta-Expansion in Partial Evaluation. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:11-20 [Conf]
- Leonidas Fegaras, Tim Sheard, Tong Zhou
Improving Programs Which Recurse over Multiple Inductive Structures. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:21-32 [Conf]
- Simon A. Courtenage, Chris D. Clack
Analysing Resource Use in the Lambda Calculus by Type Inference. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:33-41 [Conf]
- Clement A. Baker-Finch
Type Theory and Projections for Higher-Order Static Analysis. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:43-52 [Conf]
- Kei Davis
PERs from Projections for Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:53-60 [Conf]
- Lars Birkedal, Morten Welinder
Binding-Time Analysis for Standard ML. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:61-71 [Conf]
- Peter Thiemann
Higher-Order Redundancy Elimination. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:73-83 [Conf]
- Jeffrey Dean, Craig Chambers, David Grove
Identifying Profitable Specialization in Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:85-96 [Conf]
- Mark Leone, Peter Lee
Lightweight Run-Time Code Generation. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:97-106 [Conf]
- Mark P. Jones
Dictionary-Free Overloading by Partial Evaluation. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:107-117 [Conf]
- Romana Baier, Robert Glück, Robert Zöchling
Partial Evaluation of Numerical Programs in Fortran. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:119-132 [Conf]
- Andrew A. Berlin, Rajeev J. Surati
Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience. [Citation Graph (0, 0)][DBLP]
PEPM, 1994, pp:133-141 [Conf]
|
