Back to direct style

DOI10.1016/0167-6423(94)00003-4zbMath0808.68051OpenAlexW2124056143MaRDI QIDQ1330432

Olivier Danvy

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

zbMATH Keywords

continuation-passing style

Mathematics Subject Classification ID

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 (12)

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

This page was built for publication: Back to direct style