The second Futamura projection for type-directed partial evaluation

DOI10.1023/A:1012992731199zbMath0994.68042OpenAlexW1561321642MaRDI QIDQ5959583

Bernd Grobauer, Zhe Yang

Publication date: 14 March 2002

Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1012992731199

zbMATH Keywords

second Futamura projectiontype-directed partial evaluation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) General topics in the theory of software (68N01)

Related Items (3)

On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation ⋮ A static simulation of dynamic delimited control ⋮ Encoding types in ML-like languages

This page was built for publication: The second Futamura projection for type-directed partial evaluation