Back to direct style
From MaRDI portal
Publication:1330432
DOI10.1016/0167-6423(94)00003-4zbMath0808.68051OpenAlexW2124056143MaRDI QIDQ1330432
Publication date: 21 July 1994
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(94)00003-4
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items
A first-order one-pass CPS transformation ⋮ Getting There and Back Again ⋮ 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 ⋮ Implementation and use of the PLT scheme web server ⋮ A static simulation of dynamic delimited control ⋮ On typing delimited continuations: Three new solutions to the printf problem ⋮ On one-pass CPS transformations ⋮ Inter-deriving semantic artifacts for object-oriented programming ⋮ From Reduction-Based to Reduction-Free Normalization
