scientific article; zbMATH DE number 815068
From MaRDI portal
Publication:4855404
Recommendations
Cited in
(8)- Partial evaluation with inference rules
- Lambda-dropping: Transforming recursive equations into programs with block structure
- Constraint-based partial evaluation for imperative languages
- Programming techniques for partial evaluation
- scientific article; zbMATH DE number 1254023 (Why is no real title available?)
- scientific article; zbMATH DE number 1953285 (Why is no real title available?)
- scientific article; zbMATH DE number 1522991 (Why is no real title available?)
- Partial evaluation of Maple
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4855404)