{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:PTMZYYAFO5STOFS3SL3AIDXXGU","short_pith_number":"pith:PTMZYYAF","schema_version":"1.0","canonical_sha256":"7cd99c6005776537165b92f6040ef7353203b4a60f265ca99d1dd1ac8fa9dd44","source":{"kind":"arxiv","id":"2402.03103","version":2},"attestation_state":"computed","paper":{"title":"Scoped Effects as Parameterized Algebraic Theories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.CT"],"primary_cat":"cs.PL","authors_text":"Cristina Matache, Nicolas Wu, Sam Lindley, Sam Staton, Sean Moss, Zhixuan Yang","submitted_at":"2024-02-05T15:31:41Z","abstract_excerpt":"Notions of computation can be modelled by monads. Algebraic effects offer a characterization of monads in terms of algebraic operations and equational axioms, where operations are basic programming features, such as reading or updating the state, and axioms specify observably equivalent expressions. However, many useful programming features depend on additional mechanisms such as delimited scopes or dynamically allocated resources. Such mechanisms can be supported via extensions to algebraic effects including scoped effects and parameterized algebraic theories. We present a fresh perspective o"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2402.03103","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-02-05T15:31:41Z","cross_cats_sorted":["cs.LO","math.CT"],"title_canon_sha256":"a6764a9c03c16d319762325c08963b1730036d8e48afac6e1efdad3e604e3f99","abstract_canon_sha256":"08b69ee0900605bb14f711267ac12a42de46a882466768faa80eda5d8734c03a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:20:52.750270Z","signature_b64":"E7y5se7UOdRkxlgnn/QAag9mfye/Wt623Zrnqkc/bnb4IK4JyAZ2XE85r2s5KC5Wk00gvLT+3YN6u0FOeY8YAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7cd99c6005776537165b92f6040ef7353203b4a60f265ca99d1dd1ac8fa9dd44","last_reissued_at":"2026-07-05T08:20:52.749791Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:20:52.749791Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Scoped Effects as Parameterized Algebraic Theories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","math.CT"],"primary_cat":"cs.PL","authors_text":"Cristina Matache, Nicolas Wu, Sam Lindley, Sam Staton, Sean Moss, Zhixuan Yang","submitted_at":"2024-02-05T15:31:41Z","abstract_excerpt":"Notions of computation can be modelled by monads. Algebraic effects offer a characterization of monads in terms of algebraic operations and equational axioms, where operations are basic programming features, such as reading or updating the state, and axioms specify observably equivalent expressions. However, many useful programming features depend on additional mechanisms such as delimited scopes or dynamically allocated resources. Such mechanisms can be supported via extensions to algebraic effects including scoped effects and parameterized algebraic theories. We present a fresh perspective o"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.03103","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2402.03103/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2402.03103","created_at":"2026-07-05T08:20:52.749848+00:00"},{"alias_kind":"arxiv_version","alias_value":"2402.03103v2","created_at":"2026-07-05T08:20:52.749848+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.03103","created_at":"2026-07-05T08:20:52.749848+00:00"},{"alias_kind":"pith_short_12","alias_value":"PTMZYYAFO5ST","created_at":"2026-07-05T08:20:52.749848+00:00"},{"alias_kind":"pith_short_16","alias_value":"PTMZYYAFO5STOFS3","created_at":"2026-07-05T08:20:52.749848+00:00"},{"alias_kind":"pith_short_8","alias_value":"PTMZYYAF","created_at":"2026-07-05T08:20:52.749848+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/PTMZYYAFO5STOFS3SL3AIDXXGU","json":"https://pith.science/pith/PTMZYYAFO5STOFS3SL3AIDXXGU.json","graph_json":"https://pith.science/api/pith-number/PTMZYYAFO5STOFS3SL3AIDXXGU/graph.json","events_json":"https://pith.science/api/pith-number/PTMZYYAFO5STOFS3SL3AIDXXGU/events.json","paper":"https://pith.science/paper/PTMZYYAF"},"agent_actions":{"view_html":"https://pith.science/pith/PTMZYYAFO5STOFS3SL3AIDXXGU","download_json":"https://pith.science/pith/PTMZYYAFO5STOFS3SL3AIDXXGU.json","view_paper":"https://pith.science/paper/PTMZYYAF","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2402.03103&json=true","fetch_graph":"https://pith.science/api/pith-number/PTMZYYAFO5STOFS3SL3AIDXXGU/graph.json","fetch_events":"https://pith.science/api/pith-number/PTMZYYAFO5STOFS3SL3AIDXXGU/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/PTMZYYAFO5STOFS3SL3AIDXXGU/action/timestamp_anchor","attest_storage":"https://pith.science/pith/PTMZYYAFO5STOFS3SL3AIDXXGU/action/storage_attestation","attest_author":"https://pith.science/pith/PTMZYYAFO5STOFS3SL3AIDXXGU/action/author_attestation","sign_citation":"https://pith.science/pith/PTMZYYAFO5STOFS3SL3AIDXXGU/action/citation_signature","submit_replication":"https://pith.science/pith/PTMZYYAFO5STOFS3SL3AIDXXGU/action/replication_record"}},"created_at":"2026-07-05T08:20:52.749848+00:00","updated_at":"2026-07-05T08:20:52.749848+00:00"}