A hybrid approach to online and offline partial evaluation

DOI10.1023/A:1012984529382zbMath0994.68037OpenAlexW1506948396MaRDI QIDQ5959581

Eijiro Sumii, Naoki Kobayashi

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:1012984529382

zbMATH Keywords

partial evaluation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (5)

Shifting the stage ⋮ On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation ⋮ Partial evaluation of Maple ⋮ Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism ⋮ Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages

This page was built for publication: A hybrid approach to online and offline partial evaluation