Вы здесь

Главная

Melbourne

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

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
PEPM 94: ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. Walt Disney World Village, Orlando, Florida, USA, 25 June 1994
PERs from Projections for Binding-time Analysis
The Essence of Eta-Expansion in Partial Evaluation
Type Theory and Projections for Higher-Order Static Analysis