{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:PQW6Y43H3OC2NE6BJJ7KWZI5DH","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"5e5193ac1e75f529d57fffee7e18070779b1cda5d2a230ec31ed0b3c0ebd461d","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-28T10:36:42Z","title_canon_sha256":"ac2aab7cc6dcda76e5568a9432fe74bb24f1f54ff23328495014192684b09d4b"},"schema_version":"1.0","source":{"id":"1610.09161","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1610.09161","created_at":"2026-05-18T00:49:51Z"},{"alias_kind":"arxiv_version","alias_value":"1610.09161v2","created_at":"2026-05-18T00:49:51Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1610.09161","created_at":"2026-05-18T00:49:51Z"},{"alias_kind":"pith_short_12","alias_value":"PQW6Y43H3OC2","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_16","alias_value":"PQW6Y43H3OC2NE6B","created_at":"2026-05-18T12:30:39Z"},{"alias_kind":"pith_short_8","alias_value":"PQW6Y43H","created_at":"2026-05-18T12:30:39Z"}],"graph_snapshots":[{"event_id":"sha256:209895543381e9670ad9c79b81888f78d15a2d84eeeb5ab818f82ee43822f28d","target":"graph","created_at":"2026-05-18T00:49:51Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"We compare the expressive power of three programming abstractions for user-defined computational effects: Bauer and Pretnar's effect handlers, Filinski's monadic reflection, and delimited control without answer-type-modification. This comparison allows a precise discussion about the relative expressiveness of each programming abstraction. It also demonstrates the sensitivity of the relative expressiveness of user-defined effects to seemingly orthogonal language features. We present three calculi, one per abstraction, extending Levy's call-by-push-value. For each calculus, we present syntax, op","authors_text":"Matija Pretnar, Ohad Kammar, Sam Lindley, Yannick Forster","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-28T10:36:42Z","title":"On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1610.09161","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:a0f4b4f2d31a09aef5726a4b5e01939095dbe0926ebe4558003b22b812abb7b3","target":"record","created_at":"2026-05-18T00:49:51Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"5e5193ac1e75f529d57fffee7e18070779b1cda5d2a230ec31ed0b3c0ebd461d","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-10-28T10:36:42Z","title_canon_sha256":"ac2aab7cc6dcda76e5568a9432fe74bb24f1f54ff23328495014192684b09d4b"},"schema_version":"1.0","source":{"id":"1610.09161","kind":"arxiv","version":2}},"canonical_sha256":"7c2dec7367db85a693c14a7eab651d19dff9ac2301e6d1cfbb20836e3cbe5b15","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7c2dec7367db85a693c14a7eab651d19dff9ac2301e6d1cfbb20836e3cbe5b15","first_computed_at":"2026-05-18T00:49:51.396213Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:49:51.396213Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v3/OzZI0tMM3GKBVbdWKTq76URanOgZ1TkGzXyXC25QNyaWotzZzY+joWhr4yZEG55eBLa/GfErYWL9Uei5lAA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:49:51.396649Z","signed_message":"canonical_sha256_bytes"},"source_id":"1610.09161","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a0f4b4f2d31a09aef5726a4b5e01939095dbe0926ebe4558003b22b812abb7b3","sha256:209895543381e9670ad9c79b81888f78d15a2d84eeeb5ab818f82ee43822f28d"],"state_sha256":"da6c439ae30d97eee9b0cb1f0645f446214b343cd14b68d8b98bc82deb736d1d"}