Higher-order expression procedures
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Total correctness by local improvement in the transformation of functional programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraints to stop higher-order deforestation
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Extending higher-order deforestation: transforming programs to eliminate even more trees
Trends in functional programming
Introduction to Supercompilation
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
A computational formalization for partial evaluation
Mathematical Structures in Computer Science
Hi-index | 0.00 |