On the public citation graph
Compiling with continuations, correctly
0 signed · 39 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/11541868_4openalex-snapshot
Mechanized Metatheory for the Masses: The PoplMark Challenge
inferredcites →https://doi.org/10.1007/11693024_6openalex-snapshot
Step-Indexed Syntactic Logical Relations for Recursive and Quantified Types
inferredcites →https://doi.org/10.1007/978-3-030-02768-1_20openalex-snapshot
Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS
inferredcites →https://doi.org/10.1007/978-3-662-49498-1_23openalex-snapshot
Functional Big-Step Semantics
inferredcites →https://doi.org/10.1007/s10817-009-9155-4openalex-snapshot
A Formally Verified Compiler Back-end
inferredcites →https://doi.org/10.1016/0304-3975(75)90017-1openalex-snapshot
Call-by-name, call-by-value and the λ-calculus
inferredcites →https://doi.org/10.1016/s0304-3975(02)00733-8openalex-snapshot
A first-order one-pass CPS transformation
inferredcites →https://doi.org/10.1016/s1571-0661(05)80286-5openalex-snapshot
Space-Profiling Semantics of the Call-by-Value Lambda Calculus and the CPS Transformation
inferredcites →https://doi.org/10.1017/s0956796897002839openalex-snapshot
Shrinking lambda expressions in linear time
inferredcites →https://doi.org/10.1017/s0960129500001535openalex-snapshot
Representing Control: a Study of the CPS Transformation
inferredcites →https://doi.org/10.1145/1273442.1250742openalex-snapshot
A certified type-preserving compiler from lambda calculus to assembly language
inferredcites →https://doi.org/10.1145/1291220.1291179openalex-snapshot
Compiling with continuations, continued
inferredcites →https://doi.org/10.1145/1328438.1328476openalex-snapshot
Imperative self-adjusting computation
inferredcites →https://doi.org/10.1145/1328897.1328476openalex-snapshot
Imperative self-adjusting computation
inferredcites →https://doi.org/10.1145/13310.13333openalex-snapshot
ORBIT: an optimizing compiler for scheme
inferredcites →https://doi.org/10.1145/1411204.1411226openalex-snapshot
Parametric higher-order abstract syntax for mechanized semantics
inferredcites →https://doi.org/10.1145/141471.141563openalex-snapshot
Reasoning about programs in continuation-passing style.
inferredcites →https://doi.org/10.1145/141478.141563openalex-snapshot
Reasoning about programs in continuation-passing style.
inferredcites →https://doi.org/10.1145/158511.158630openalex-snapshot
Explicit polymorphism and CPS conversion
inferredcites →https://doi.org/10.1145/2034773.2034830openalex-snapshot
An equivalence-preserving CPS translation via multi-language semantics
inferredcites →https://doi.org/10.1145/3110262openalex-snapshot
Verifying efficient function calls in CakeML
inferredcites →https://doi.org/10.1145/3158110openalex-snapshot
Type-preserving CPS translation of Σ and Π types is not not possible
inferredcites →https://doi.org/10.1145/319301.319345openalex-snapshot
From system F to typed assembly language
inferredcites →https://doi.org/10.1145/504709.504712openalex-snapshot
An indexed model of recursive types for foundational proof-carrying code
inferredcites →https://doi.org/10.1145/96709.96714openalex-snapshot
A formulae-as-type notion of control
inferredcites →https://doi.org/10.1145/976571.976576openalex-snapshot
Verifying CPS transformations in Isabelle/HOL
inferredcites →https://doi.org/10.5281/zenodo.5504154openalex-snapshot
[OOPSLA 2021 Artifact] Compiling With Continuations, Correctly
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/978-3-031-16912-0_7openalex-snapshot
Semantic Preservation for a Type Directed Translation Scheme of Featherweight Go
inferred← citeshttps://doi.org/10.1007/978-3-031-35257-7_2openalex-snapshot
Verified Transformation of Continuation-Passing Style into Static Single Assignment Form
inferred← citeshttps://doi.org/10.1007/978-3-032-15981-6_2openalex-snapshot
A One-Pass CPS Transform with Simulation on the Nose
inferred← citeshttps://doi.org/10.1017/s0956796823000047openalex-snapshot
A type-directed, dictionary-passing translation of method overloading and structural subtyping in Featherweight Generic Go
inferred← citeshttps://doi.org/10.1145/3473591openalex-snapshot
Compositional optimizations for CertiCoq
inferred← citeshttps://doi.org/10.1145/3704860openalex-snapshot
A Verified Foreign Function Interface between Coq and C
inferred← citeshttps://doi.org/10.1145/3779031.3779098openalex-snapshot
Brack: A Verified Compiler for Scheme via CakeML
inferred← citeshttps://doi.org/10.3390/math10203800openalex-snapshot
On Coevaluation Behavior and Equivalence
inferred← citeshttps://doi.org/10.63125/xvjst226openalex-snapshot
ITSM BASED CHANGE MANAGEMENT AUTOMATION IN CLOUD ENVIRONMENTS: A CROSS SECTOR EMPIRICAL STUDY
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.