Вы здесь

Главная

PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantic-Based Program Manipulation

Связанные издания:

Analysing Resource Use in the -calculus by Type Inference
Binding-Time Analysis for Standard ML
Dictionary-free Overloading by Partial Evaluation
Higher-Order Redundancy Elimination
Identifying Profitable Specialization in Object-Oriented Languages
Improving CPS-Based Partial Evaluation: Writing Cogen by Hand
Improving Programs which Recurse over Multiple Inductive Structures
Lightweight Run-Time Code Generation
Partial Evaluation for Scientific Computing: The Supercomputer Toolkit Experience
Partial Evaluation of Numerical Programs in Fortran
PERs from Projections for Binding-time Analysis
The Essence of Eta-Expansion in Partial Evaluation
Type Theory and Projections for Higher-Order Static Analysis