Scrapping your inefficient engine

DOI10.1145/1863543.1863587MaRDI QIDQ5176949zbMATH OpenOpenAlexFDO

Authors Edwin Brady, Kevin Hammond

Publication date 5 March 2015

Published in Proceedings of the 15th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1863543.1863587

zbMATH Keywords

dependent typespartial evaluation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20)

Recommendations

• Combining partial evaluation and staged interpretation in the implementation of domain-specific languages
• scientific article; zbMATH DE number 1950450
• scientific article; zbMATH DE number 2036334
• Improving the static analysis of embedded languages via partial evaluation
• Constraint-based partial evaluation for imperative languages
• scientific article; zbMATH DE number 1973220
• scientific article; zbMATH DE number 1692905

Cited in

(2)

• Combining partial evaluation and staged interpretation in the implementation of domain-specific languages
• Improving the static analysis of embedded languages via partial evaluation

This page was built for publication: Scrapping your inefficient engine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5176949)