On the public citation graph
Compiling effect handlers in capability-passing style
0 signed · 57 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.1006/inco.1994.1093openalex-snapshot
A Syntactic Approach to Type Soundness
inferredcites →https://doi.org/10.1007/978-3-319-71237-6_17openalex-snapshot
Implementing Algebraic Effects in C
inferredcites →https://doi.org/10.1007/978-3-642-35182-2_21openalex-snapshot
A Dynamic Interpretation of the CPS Hierarchy
inferredcites →https://doi.org/10.1016/0096-0551(79)90021-3openalex-snapshot
The C programming language
inferredcites →https://doi.org/10.1016/j.entcs.2015.12.003openalex-snapshot
An Introduction to Algebraic Effects and Handlers. Invited tutorial paper
inferredcites →https://doi.org/10.1016/s0304-3975(00)00053-0openalex-snapshot
MetaML and multi-stage programming with explicit annotations
inferredcites →https://doi.org/10.1016/s0890-5401(03)00088-9openalex-snapshot
Modelling environments in call-by-value programming languages
inferredcites →https://doi.org/10.1017/s0956796807006259openalex-snapshot
A monadic framework for delimited continuations
inferredcites →https://doi.org/10.1017/s095679681300018xopenalex-snapshot
Idris, a general-purpose dependently typed programming language: Design and implementation
inferredcites →https://doi.org/10.1017/s0956796816000320openalex-snapshot
No value restriction is needed for algebraic effects and handlers
inferredcites →https://doi.org/10.1017/s0956796820000027openalex-snapshot
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
inferredcites →https://doi.org/10.1017/s0960129500001535openalex-snapshot
Representing Control: a Study of the CPS Transformation
inferredcites →https://doi.org/10.1145/1159803.1159805openalex-snapshot
The development of Chez Scheme
inferredcites →https://doi.org/10.1145/1291151.1291179openalex-snapshot
Compiling with continuations, continued
inferredcites →https://doi.org/10.1145/199448.199528openalex-snapshot
Monad transformers and modular interpreters
inferredcites →https://doi.org/10.1145/2364506openalex-snapshot
Proceedings of the 2012 Haskell Symposium
inferredcites →https://doi.org/10.1145/258993.259019openalex-snapshot
Multi-stage programming with explicit annotations
inferredcites →https://doi.org/10.1145/2889160.2889229openalex-snapshot
Engineering the servo web browser engine using Rust
inferredcites →https://doi.org/10.1145/2976022.2976033openalex-snapshot
Liberating effects with rows and handlers
inferredcites →https://doi.org/10.1145/3062341.3062380openalex-snapshot
Compiling without continuations
inferredcites →https://doi.org/10.1145/3136000.3136007openalex-snapshot
Effekt: extensible algebraic effects in Scala (short paper)
inferredcites →https://doi.org/10.1145/3209108.3209166openalex-snapshot
Syntax and Semantics for Operations with Scopes
inferredcites →https://doi.org/10.1145/3240719.3241788openalex-snapshot
Typing, representing, and abstracting control: functional pearl
inferredcites →https://doi.org/10.1145/3341643openalex-snapshot
Compiling with continuations, or without? whatever.
inferredcites →https://doi.org/10.1145/3371116openalex-snapshot
Binders by day, labels by night: effect instances via lexically scoped handlers
inferredcites →https://doi.org/10.1145/800194.805852openalex-snapshot
Definitional interpreters for higher-order programming languages
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-030-83128-8_3openalex-snapshot
What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style
inferred← citeshttps://doi.org/10.1007/978-3-030-89051-3_11openalex-snapshot
Latent Effects for Reusable Language Components
inferred← citeshttps://doi.org/10.1007/978-3-030-99336-8_18openalex-snapshot
Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style
inferred← citeshttps://doi.org/10.1007/978-3-031-21314-4_4openalex-snapshot
Understanding Algebraic Effect Handlers via Delimited Control Operators
inferred← citeshttps://doi.org/10.1145/3428194openalex-snapshot
Effects as capabilities: effect handlers and lightweight effect polymorphism
inferred← citeshttps://doi.org/10.1145/3453483.3454039openalex-snapshot
Retrofitting effect handlers onto OCaml
inferred← citeshttps://doi.org/10.1145/3473576openalex-snapshot
Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C
inferred← citeshttps://doi.org/10.1145/3473578openalex-snapshot
Reasoning about effect interaction by fusion
inferred← citeshttps://doi.org/10.1145/3473580openalex-snapshot
Contextual modal types for algebraic effects and handlers
inferred← citeshttps://doi.org/10.1145/3485479openalex-snapshot
Efficient compilation of algebraic effect handlers
inferred← citeshttps://doi.org/10.1145/3485516openalex-snapshot
Reachability types: tracking aliasing and separation in higher-order functional programs
inferred← citeshttps://doi.org/10.1145/3519939.3523710openalex-snapshot
A typed continuation-passing translation for lexical effect handlers
inferred← citeshttps://doi.org/10.1145/3571786.3573015openalex-snapshot
Towards a Reflection for Effect Handlers
inferred← citeshttps://doi.org/10.1145/3586056openalex-snapshot
Back to Direct Style: Typed and Tight
inferred← citeshttps://doi.org/10.1145/3622831openalex-snapshot
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers
inferred← citeshttps://doi.org/10.1145/3632898openalex-snapshot
Algebraic Effects Meet Hoare Logic in Cubical Agda
inferred← citeshttps://doi.org/10.1145/3689805openalex-snapshot
Higher-Order Model Checking of Effect-Handling Programs with Answer-Type Modification
inferred← citeshttps://doi.org/10.1145/3732771.3742721openalex-snapshot
Optimize Effect Handling for Tail-resumption with Stack Unwinding
inferred← citeshttps://doi.org/10.1145/3763085openalex-snapshot
Tracing Just-in-Time Compilation for Effects and Handlers
inferred← citeshttps://doi.org/10.1145/3779209.3779536openalex-snapshot
Staging Effect Handlers for Modular Search
inferred← citeshttps://doi.org/10.1145/3828703openalex-snapshot
HMCFA: A Precise and Practical Big-Step Control Flow Analysis for Effect Handlers
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.