On the public citation graph
Handling bidirectional control flow
0 signed · 59 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.1996.2613openalex-snapshot
Region-Based Memory Management
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/3540543961_7openalex-snapshot
Functional programming with bananas, lenses, envelopes and barbed wire
inferredcites →https://doi.org/10.1007/978-3-319-39110-6openalex-snapshot
Trends in Functional Programming: 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers
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-319-89719-6_6openalex-snapshot
Concurrent System Programming with Effect Handlers
inferredcites →https://doi.org/10.1007/978-3-540-76637-7_16openalex-snapshot
Polymorphic Delimited Continuations
inferredcites →https://doi.org/10.1007/978-3-642-31057-7_12openalex-snapshot
Pause ’n’ Play: Formalizing Asynchronous C $^\sharp$
inferredcites →https://doi.org/10.1007/bfb0053567openalex-snapshot
Language primitives and type discipline for structured communication-based programming
inferredcites →https://doi.org/10.1016/0167-6423(91)90036-wopenalex-snapshot
On the expressive power of programming languages
inferredcites →https://doi.org/10.1016/0890-5401(91)90050-copenalex-snapshot
Type inference for record concatenation and multiple inheritance
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.1023/a:1023064908962openalex-snapshot
Algebraic Operations and Generic Effects
inferredcites →https://doi.org/10.1049/iet-sen:20070017openalex-snapshot
Hidden truth behind .NET's exception handling today
inferredcites →https://doi.org/10.1109/lics.2009.34openalex-snapshot
Logical Step-Indexed Logical Relations
inferredcites →https://doi.org/10.1145/1190215.1190235openalex-snapshot
A very modal model of a modern, major, general type system
inferredcites →https://doi.org/10.1145/1190216.1190235openalex-snapshot
A very modal model of a modern, major, general type system
inferredcites →https://doi.org/10.1145/1328438.1328443openalex-snapshot
Engineering formal metatheory
inferredcites →https://doi.org/10.1145/224164.224173openalex-snapshot
A generalization of exceptions and control in ML-like languages
inferredcites →https://doi.org/10.1145/225540.225541openalex-snapshot
Iteration abstraction in Sather
inferredcites →https://doi.org/10.1145/2568225.2568309openalex-snapshot
A study and toolkit for asynchronous programming in c#
inferredcites →https://doi.org/10.1145/2908080.2908086openalex-snapshot
Accepting blame for safe tunneled exceptions
inferredcites →https://doi.org/10.1145/3009837.3009872openalex-snapshot
Type directed compilation of row-typed algebraic effects
inferredcites →https://doi.org/10.1145/3110257openalex-snapshot
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control
inferredcites →https://doi.org/10.1145/3122975.3122977openalex-snapshot
Structured asynchrony with algebraic effects
inferredcites →https://doi.org/10.1145/3158096openalex-snapshot
Handle with care: relational interpretation of algebraic effects and handlers
inferredcites →https://doi.org/10.1145/3236762openalex-snapshot
Versatile event correlation with algebraic effects
inferredcites →https://doi.org/10.1145/3276532openalex-snapshot
Finding broken promises in asynchronous JavaScript programs
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/504709.504712openalex-snapshot
An indexed model of recursive types for foundational proof-carrying code
inferredcites →https://doi.org/10.1145/512529.512563openalex-snapshot
Region-based memory management in cyclone
inferredcites →https://doi.org/10.1145/53990.54016openalex-snapshot
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
inferredcites →https://doi.org/10.1145/73560.73576openalex-snapshot
The theory and practice of first-class prompts
inferredcites →https://doi.org/10.1145/960116.54016openalex-snapshot
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
inferredcites →https://doi.org/10.1184/r1/6620861openalex-snapshot
Abstraction and verification in Alphard: defining and specifying iteration and generators
inferredcites →https://doi.org/10.4204/eptcs.153.8openalex-snapshot
Koka: Programming with Row Polymorphic Effect Types
inferredcites →https://doi.org/10.4230/lipics.fscd.2019.30openalex-snapshot
Typed Equivalence of Effect Handlers and Delimited Control
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-031-21314-4_4openalex-snapshot
Understanding Algebraic Effect Handlers via Delimited Control Operators
inferred← citeshttps://doi.org/10.1145/3519939.3523710openalex-snapshot
A typed continuation-passing translation for lexical effect handlers
inferred← citeshttps://doi.org/10.1145/3527320openalex-snapshot
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back
inferred← citeshttps://doi.org/10.1145/3747529openalex-snapshot
Multiple Resumptions and Local Mutable State, Directly
inferred← citeshttps://doi.org/10.1145/3763085openalex-snapshot
Tracing Just-in-Time Compilation for Effects and Handlers
inferred← citeshttps://doi.org/10.1145/3763177openalex-snapshot
Zero-Overhead Lexical Effect Handlers
inferred← citeshttps://doi.org/10.1145/3763184openalex-snapshot
On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs
inferred← citeshttps://doi.org/10.21941/kcss/2021/7openalex-snapshot
Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung
inferred← citeshttps://doi.org/10.48550/arxiv.2010.09073openalex-snapshot
Handling Bidirectional Control Flow: Technical Report
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.