On the public citation graph

Reasoning about effect interaction by fusion

https://doi.org/10.1145/3473578
0 signed · 60 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.1002/malq.19850310905openalex-snapshot
A Couple of Novelties in the Propositional Calculus
inferredcites →https://doi.org/10.1007/3-540-45931-6_24openalex-snapshot
Notions of Computation Determine Monads
inferredcites →https://doi.org/10.1007/978-1-4757-3472-0_16openalex-snapshot
Communicating Sequential Processes
inferredcites →https://doi.org/10.1007/978-1-4757-4721-8openalex-snapshot
Categories for the Working Mathematician
inferredcites →https://doi.org/10.1007/978-3-030-02768-1_22openalex-snapshot
Shallow Effect Handlers
inferredcites →https://doi.org/10.1007/978-3-030-33636-3_2openalex-snapshot
Handling Local State with Global State
inferredcites →https://doi.org/10.1007/978-3-030-57761-2_10openalex-snapshot
State Will do
inferredcites →https://doi.org/10.1007/978-3-319-19797-5openalex-snapshot
Mathematics of Program Construction
inferredcites →https://doi.org/10.1007/978-3-540-70594-9_20openalex-snapshot
Asymptotic Improvement of Computations over Free Monads
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-17796-5_10openalex-snapshot
Program Calculation in Coq
inferredcites →https://doi.org/10.1007/978-3-642-24276-2_2openalex-snapshot
Theory and Practice of Fusion
inferredcites →https://doi.org/10.1007/978-3-642-31113-0_16openalex-snapshot
Kan Extensions for Program Optimisation Or: Art and Dan Explain an Old Trick
inferredcites →https://doi.org/10.1016/0890-5401(91)90052-4openalex-snapshot
Notions of computation and monads
inferredcites →https://doi.org/10.1016/j.entcs.2004.04.019openalex-snapshot
Axioms for Probability and Nondeterminism
inferredcites →https://doi.org/10.1016/j.entcs.2004.08.008openalex-snapshot
Computational Effects and Operations: An Overview
inferredcites →https://doi.org/10.1016/j.jlamp.2014.02.001openalex-snapshot
Programming with algebraic effects and handlers
inferredcites →https://doi.org/10.1016/j.tcs.2006.03.013openalex-snapshot
Combining effects: Sum and tensor
inferredcites →https://doi.org/10.1017/s0956796819000212openalex-snapshot
Local algebraic effect theories
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/s0956796820000271openalex-snapshot
Not by equations alone: Reasoning with extensible effects
inferredcites →https://doi.org/10.1023/a:1023064908962openalex-snapshot
Algebraic Operations and Generic Effects
inferredcites →https://doi.org/10.1109/lics.2008.45openalex-snapshot
A Logic for Algebraic Effects
inferredcites →https://doi.org/10.1145/165180.165214openalex-snapshot
A short cut to deforestation
inferredcites →https://doi.org/10.1145/2034773.2034777openalex-snapshot
Just do it
inferredcites →https://doi.org/10.1145/2500365.2500581openalex-snapshot
Programming and reasoning with algebraic effects and dependent types
inferredcites →https://doi.org/10.1145/2500365.2500590openalex-snapshot
Handlers in action
inferredcites →https://doi.org/10.1145/2544174.2500581openalex-snapshot
Programming and reasoning with algebraic effects and dependent types
inferredcites →https://doi.org/10.1145/2544174.2500590openalex-snapshot
Handlers in action
inferredcites →https://doi.org/10.1145/292540.292557openalex-snapshot
Representing layered monads
inferredcites →https://doi.org/10.1145/2933575.2935319openalex-snapshot
Healthiness from Duality
inferredcites →https://doi.org/10.1145/3009837.3009872openalex-snapshot
Type directed compilation of row-typed algebraic effects
inferredcites →https://doi.org/10.1145/3093333.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/3158095openalex-snapshot
Handling fibred 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/3158141openalex-snapshot
Refinement reflection: complete verification with SMT
inferredcites →https://doi.org/10.1145/3167092openalex-snapshot
Total Haskell is reasonable Coq
inferredcites →https://doi.org/10.1145/3209108.3209166openalex-snapshot
Syntax and Semantics for Operations with Scopes
inferredcites →https://doi.org/10.1145/3236784openalex-snapshot
Ready, set, verify! applying hs-to-coq to real-world Haskell code (experience report)
inferredcites →https://doi.org/10.1145/3242744.3242756openalex-snapshot
Theorem proving for all: equational reasoning in liquid Haskell (functional pearl)
inferredcites →https://doi.org/10.1145/3290318openalex-snapshot
Abstraction-safe effect handlers via tunneling
inferredcites →https://doi.org/10.1145/3331545.3342595openalex-snapshot
Monad transformers and modular algebraic effects: what binds them together
inferredcites →https://doi.org/10.1145/3408975openalex-snapshot
Compiling effect handlers in capability-passing style
inferredcites →https://doi.org/10.1145/3408981openalex-snapshot
Effect handlers, evidently
inferredcites →https://doi.org/10.1145/3468264.3473921openalex-snapshot
Domain adaptation for an automated classification of deontic modalities in software engineering contracts
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.23638/lmcs-13(2:6)2017openalex-snapshot
A Recipe for State-and-Effect Triangles
inferredcites →https://doi.org/10.48550/arxiv.1807.05923openalex-snapshot
What is algebraic about algebraic effects and handlers?

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-99336-8_17openalex-snapshot
Structured Handling of Scoped Effects
inferred← citeshttps://doi.org/10.1016/j.scico.2024.103086openalex-snapshot
A framework for higher-order effects & handlers
inferred← citeshttps://doi.org/10.1017/s0956796824000133openalex-snapshot
From high to low: Simulating nondeterminism and state with state
inferred← citeshttps://doi.org/10.1017/s0956796825100142openalex-snapshot
Hefty algebras: Modular elaboration of higher-order effects
inferred← citeshttps://doi.org/10.1145/3458817.3476147openalex-snapshot
PEPPA-X
inferred← citeshttps://doi.org/10.1145/3607850openalex-snapshot
Modular Models of Monoids with Operations
inferred← citeshttps://doi.org/10.1145/3632854openalex-snapshot
Modular Denotational Semantics for Effects with Guarded Interaction Trees
inferred← citeshttps://doi.org/10.1145/3677999.3678279openalex-snapshot
Making a Curry Interpreter using Effects and Handlers
inferred← citeshttps://doi.org/10.1145/3776678openalex-snapshot
Handling Higher-Order Effectful Operations with Judgemental Monadic Laws
inferred← citeshttps://doi.org/10.1145/3838790.3838793openalex-snapshot
Effects with Variable Binding
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.