Definitional interpreters revisited
From MaRDI portal
Publication:1290336
DOI10.1023/A:1010075320153zbMath0934.68033OpenAlexW1578657094MaRDI QIDQ1290336
Publication date: 31 May 1999
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1010075320153
Related Items
Peter J. Landin (1930--2009) ⋮ Polymorphic typed defunctionalization and concretization ⋮ Getting There and Back Again ⋮ Combining algebraic effects with continuations ⋮ A syntactic correspondence between context-sensitive calculi and abstract machines ⋮ Analyzing the environment structure of higher-order languages using frame strings ⋮ Inter-deriving Semantic Artifacts for Object-Oriented Programming ⋮ On inter-deriving small-step and big-step semantics: a case study for storeless call-by-need evaluation ⋮ Refunctionalization at work ⋮ On the equivalence between small-step and big-step abstract machines: a simple application of lightweight fusion ⋮ On one-pass CPS transformations ⋮ Inter-deriving semantic artifacts for object-oriented programming ⋮ From Reduction-Based to Reduction-Free Normalization