On the public citation graph

Abstraction-safe effect handlers via tunneling

https://doi.org/10.1145/3290318
0 signed · 83 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.
Claim with ORCID
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.
See reference health

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.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/978-3-642-31057-7_13openalex-snapshot
Lightweight Polymorphic Effects
inferredcites →https://doi.org/10.1016/0022-0000(78)90014-4openalex-snapshot
A theory of type polymorphism in programming
inferredcites →https://doi.org/10.1016/j.jlamp.2014.02.001openalex-snapshot
Programming with algebraic effects and handlers
inferredcites →https://doi.org/10.1017/s0956796807006259openalex-snapshot
A monadic framework for delimited continuations
inferredcites →https://doi.org/10.1017/s095679681200024xopenalex-snapshot
The impact of higher-order state and control effects on local relational reasoning
inferredcites →https://doi.org/10.1023/a:1023064908962openalex-snapshot
Algebraic Operations and Generic Effects
inferredcites →https://doi.org/10.1109/lics.2009.34openalex-snapshot
Logical Step-Indexed Logical Relations
inferredcites →https://doi.org/10.1109/lics.2010.29openalex-snapshot
A Generic Operational Metatheory for Algebraic Effects
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/1273920.1273922openalex-snapshot
Formalizing and verifying semantic type soundness of a simple compiler
inferredcites →https://doi.org/10.1145/1869459.1869489openalex-snapshot
Type classes as objects and implicits
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/2500365.2500590openalex-snapshot
Handlers in action
inferredcites →https://doi.org/10.1145/2908080.2908086openalex-snapshot
Accepting blame for safe tunneled exceptions
inferredcites →https://doi.org/10.1145/292540.292564openalex-snapshot
Typed memory management in a calculus of capabilities
inferredcites →https://doi.org/10.1145/2976022.2976033openalex-snapshot
Liberating effects with rows and handlers
inferredcites →https://doi.org/10.1145/2983990.2984009openalex-snapshot
Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect
inferredcites →https://doi.org/10.1145/3009837.3009872openalex-snapshot
Type directed compilation of row-typed algebraic effects
inferredcites →https://doi.org/10.1145/3009837.3009897openalex-snapshot
Do be do be do
inferredcites →https://doi.org/10.1145/3136000.3136007openalex-snapshot
Effekt: extensible algebraic effects in Scala (short paper)
inferredcites →https://doi.org/10.1145/3158096openalex-snapshot
Handle with care: relational interpretation of algebraic effects and handlers
inferredcites →https://doi.org/10.1145/3158130openalex-snapshot
Simplicitly: foundations and applications of implicit function types
inferredcites →https://doi.org/10.1145/3236762openalex-snapshot
Versatile event correlation with algebraic effects
inferredcites →https://doi.org/10.1145/325694.325708openalex-snapshot
Implicit parameters
inferredcites →https://doi.org/10.1145/3276481openalex-snapshot
Effect handlers for the masses
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/73560.73576openalex-snapshot
The theory and practice of first-class prompts
inferredcites →https://doi.org/10.1145/91556.91622openalex-snapshot
Abstracting control
inferredcites →https://doi.org/10.1145/99370.99404openalex-snapshot
Theorems for free!
inferredcites →https://doi.org/10.2168/lmcs-10(4:9)2014openalex-snapshot
An Effect System for Algebraic Effects and Handlers
inferredcites →https://doi.org/10.2168/lmcs-9(4:23)2013openalex-snapshot
Handling Algebraic Effects
inferredcites →https://doi.org/10.4204/eptcs.153.8openalex-snapshot
Koka: Programming with Row Polymorphic Effect Types
inferredcites →https://doi.org/10.7551/mitpress/2319.001.0001openalex-snapshot
The Definition of Standard ML

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1002/spe.2925openalex-snapshot
Advanced control‐flow and concurrency in C∀
inferred← citeshttps://doi.org/10.1002/spe.3262openalex-snapshot
High‐performance extended actors
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-89159-6_21openalex-snapshot
GATE: Gradual Effect Types
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.1007/978-3-031-30044-8_9openalex-snapshot
A Type System for Effect Handlers and Dynamic Labels
inferred← citeshttps://doi.org/10.1007/978-3-032-22720-1_5openalex-snapshot
Deciding not to Decide
inferred← citeshttps://doi.org/10.1017/s0956796820000027openalex-snapshot
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
inferred← citeshttps://doi.org/10.1017/s0956796820000039openalex-snapshot
Doo bee doo bee doo
inferred← citeshttps://doi.org/10.1017/s0956796825100142openalex-snapshot
Hefty algebras: Modular elaboration of higher-order effects
inferred← citeshttps://doi.org/10.1145/3331545.3342589openalex-snapshot
Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study
inferred← citeshttps://doi.org/10.1145/3371116openalex-snapshot
Binders by day, labels by night: effect instances via lexically scoped handlers
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/3485516openalex-snapshot
Reachability types: tracking aliasing and separation in higher-order functional programs
inferred← citeshttps://doi.org/10.1145/3492427openalex-snapshot
Bounded Abstract Effects
inferred← citeshttps://doi.org/10.1145/3563289openalex-snapshot
First-class names for effect handlers
inferred← citeshttps://doi.org/10.1145/3563445openalex-snapshot
High-level effect handlers in C++
inferred← citeshttps://doi.org/10.1145/3571255openalex-snapshot
Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects
inferred← citeshttps://doi.org/10.1145/3607848openalex-snapshot
A General Fine-Grained Reduction Theory for Effect Handlers
inferred← citeshttps://doi.org/10.1145/3618003openalex-snapshot
Capturing Types
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/3632930openalex-snapshot
Effectful Software Contracts
inferred← citeshttps://doi.org/10.1145/3633280openalex-snapshot
Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
inferred← citeshttps://doi.org/10.1145/3674641openalex-snapshot
Abstracting Effect Systems for Algebraic Effect Handlers
inferred← citeshttps://doi.org/10.1145/3679005.3685979openalex-snapshot
Stack-Copying Delimited Continuations for Scala Native
inferred← citeshttps://doi.org/10.1145/3689770openalex-snapshot
Lexical Effect Handlers, Directly
inferred← citeshttps://doi.org/10.1145/3704841openalex-snapshot
Affect: An Affine Type and Effect System
inferred← citeshttps://doi.org/10.1145/3720476openalex-snapshot
Modal Effect Types
inferred← citeshttps://doi.org/10.1145/3756907.3756924openalex-snapshot
Operational Game Semantics for Generative Algebraic Effects and Handlers
inferred← citeshttps://doi.org/10.1145/3758316.3762822openalex-snapshot
Lexical Effect Handlers: Fast by Design, Correct by Proof
inferred← citeshttps://doi.org/10.1145/3763085openalex-snapshot
Tracing Just-in-Time Compilation for Effects and Handlers
inferred← citeshttps://doi.org/10.1145/3763155openalex-snapshot
Dynamic Wind for Effect Handlers
inferred← citeshttps://doi.org/10.1145/3763177openalex-snapshot
Zero-Overhead Lexical Effect Handlers
inferred← citeshttps://doi.org/10.1145/3776674openalex-snapshot
Rows and Capabilities as Modal Effects
inferred← citeshttps://doi.org/10.1145/3776676openalex-snapshot
A Relational Separation Logic for Effect Handlers
inferred← citeshttps://doi.org/10.1145/3808289openalex-snapshot
Virtualizing Continuations
inferred← citeshttps://doi.org/10.1145/3808303openalex-snapshot
Backwards-Compatible Row-Based Exceptions in ML
inferred← citeshttps://doi.org/10.1145/3839474openalex-snapshot
Classifying Capabilities
inferred← citeshttps://doi.org/10.4230/lipics.ecoop.2022.15openalex-snapshot
Tracking Captured Variables in Types
inferred← citeshttps://doi.org/10.46298/lmcs-19(4:5)2023openalex-snapshot
Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
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.