scientific article; zbMATH DE number 1794202

MaRDI QIDQ4552385zbMATH OpenFDO

Authors Morten Rhiger

Publication date 2 September 2002

zbMATH Keywords

directed programsHaskell

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Recommendations

• The second Futamura projection for type-directed partial evaluation
• scientific article; zbMATH DE number 2036333
• Combinators for program generation
• Topics in semantics-based program manipulation
• A unifying approach to goal-directed evaluation

Cited in

(3)

• Combining partial evaluation and staged interpretation in the implementation of domain-specific languages
• scientific article; zbMATH DE number 139626 (Why is no real title available?)
• Synthesizing program generators for embedded software

Describes a project that uses

Uses Software

• OCaml
• Haskell

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 Q4552385)