On the public citation graph

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back

https://doi.org/10.1145/3527320
0 signed · 63 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/978-3-642-00590-9_7openalex-snapshot
Handlers of Algebraic Effects
inferredcites →https://doi.org/10.1007/978-3-642-31057-7_13openalex-snapshot
Lightweight Polymorphic Effects
inferredcites →https://doi.org/10.1007/978-94-007-0954-6_2openalex-snapshot
Call-By-Push-Value: A Subsuming Paradigm
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/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/s0956796820000027openalex-snapshot
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala
inferredcites →https://doi.org/10.1017/s0956796898003025openalex-snapshot
A type-based escape analysis for functional languages
inferredcites →https://doi.org/10.1023/a:1023064908962openalex-snapshot
Algebraic Operations and Generic Effects
inferredcites →https://doi.org/10.1145/1159803.1159808openalex-snapshot
Delimited dynamic binding
inferredcites →https://doi.org/10.1145/1328438.1328443openalex-snapshot
Engineering formal metatheory
inferredcites →https://doi.org/10.1145/1352582.1352591openalex-snapshot
Contextual modal type theory
inferredcites →https://doi.org/10.1145/2628136.2628160openalex-snapshot
Coeffects
inferredcites →https://doi.org/10.1145/2884781.2884798openalex-snapshot
Exploring language support for immutability
inferredcites →https://doi.org/10.1145/292540.292564openalex-snapshot
Typed memory management in a calculus of capabilities
inferredcites →https://doi.org/10.1145/2951913.2951939openalex-snapshot
Combining effects and coeffects via grading
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/3122975.3122977openalex-snapshot
Structured asynchrony with algebraic effects
inferredcites →https://doi.org/10.1145/3136000.3136007openalex-snapshot
Effekt: extensible algebraic effects in Scala (short paper)
inferredcites →https://doi.org/10.1145/3136000.3136010openalex-snapshot
Rust-like borrowing with 2nd-class values (short paper)
inferredcites →https://doi.org/10.1145/3276481openalex-snapshot
Effect handlers for the masses
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/3408981openalex-snapshot
Effect handlers, evidently
inferredcites →https://doi.org/10.1145/3408993openalex-snapshot
Recovering purity with comonads and capabilities
inferredcites →https://doi.org/10.1145/3428194openalex-snapshot
Effects as capabilities: effect handlers and lightweight effect polymorphism
inferredcites →https://doi.org/10.1145/3428207openalex-snapshot
Handling bidirectional control flow
inferredcites →https://doi.org/10.1145/3434305openalex-snapshot
Asynchronous effects
inferredcites →https://doi.org/10.1145/3473580openalex-snapshot
Contextual modal types for algebraic effects and handlers
inferredcites →https://doi.org/10.1145/3486610.3486893openalex-snapshot
Safer exceptions for Scala
inferredcites →https://doi.org/10.1145/365230.365252openalex-snapshot
Programming semantics for multiprogrammed computations
inferredcites →https://doi.org/10.1145/73560.73564openalex-snapshot
Polymorphic effect systems
inferredcites →https://doi.org/10.1145/73560.73576openalex-snapshot
The theory and practice of first-class prompts
inferredcites →https://doi.org/10.1145/800194.805852openalex-snapshot
Definitional interpreters for higher-order programming languages
inferredcites →https://doi.org/10.4204/eptcs.153.8openalex-snapshot
Koka: Programming with Row Polymorphic Effect Types
inferredcites →https://doi.org/10.4230/lipics.ecoop.2020.10openalex-snapshot
Designing with Static Capabilities and Effects: Use, Mention, and Invariants

What points at this work

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

inferred← citeshttps://doi.org/10.1109/ispras64596.2024.10899144openalex-snapshot
Modern Effect Systems Overview
inferred← citeshttps://doi.org/10.1145/3605156.3606454openalex-snapshot
Dependency-Free Capture Tracking
inferred← citeshttps://doi.org/10.1145/3607846openalex-snapshot
With or Without You: Programming with Effect Exclusion
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/3622846openalex-snapshot
Reference Capabilities for Flexible Memory Management
inferred← citeshttps://doi.org/10.1145/3632856openalex-snapshot
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
inferred← citeshttps://doi.org/10.1145/3632921openalex-snapshot
Explicit Effects and Effect Constraints in ReML
inferred← citeshttps://doi.org/10.1145/3632930openalex-snapshot
Effectful Software Contracts
inferred← citeshttps://doi.org/10.1145/3689484.3690731openalex-snapshot
Type-Safe Code Generation with Algebraic Effects and Handlers
inferred← citeshttps://doi.org/10.1145/3689746openalex-snapshot
The Ultimate Conditional Syntax
inferred← citeshttps://doi.org/10.1145/3689750openalex-snapshot
Effects and Coeffects in Call-by-Push-Value
inferred← citeshttps://doi.org/10.1145/3689751openalex-snapshot
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types
inferred← citeshttps://doi.org/10.1145/3689770openalex-snapshot
Lexical Effect Handlers, Directly
inferred← citeshttps://doi.org/10.1145/3720476openalex-snapshot
Modal Effect Types
inferred← citeshttps://doi.org/10.1145/3747529openalex-snapshot
Multiple Resumptions and Local Mutable State, Directly
inferred← citeshttps://doi.org/10.1145/3763064openalex-snapshot
Reasoning about External Calls
inferred← citeshttps://doi.org/10.1145/3763096openalex-snapshot
Qualified Types with Boolean Algebras
inferred← citeshttps://doi.org/10.1145/3763112openalex-snapshot
What’s in the Box: Ergonomic and Expressive Capture Tracking over Generic Data Structures
inferred← citeshttps://doi.org/10.1145/3763144openalex-snapshot
A Lightweight Type-and-Effect System for Invalidation Safety: Tracking Permanent and Temporary Invalidation with Constraint-Based Subtype Inference
inferred← citeshttps://doi.org/10.1145/3763155openalex-snapshot
Dynamic Wind for Effect Handlers
inferred← citeshttps://doi.org/10.1145/3776674openalex-snapshot
Rows and Capabilities as Modal Effects
inferred← citeshttps://doi.org/10.1145/3786335.3813127openalex-snapshot
Securing Agents With Tracked Capabilities
inferred← citeshttps://doi.org/10.1145/3808289openalex-snapshot
Virtualizing Continuations
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.