{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:A7FDG4KZFGFT654VO2XGP7SCFY","short_pith_number":"pith:A7FDG4KZ","canonical_record":{"source":{"id":"1403.1477","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-03-06T16:18:12Z","cross_cats_sorted":[],"title_canon_sha256":"0e091fd35a34c19e0a7c151836b5fb243a392ed01dc53bd93a64ca12bd22c68a","abstract_canon_sha256":"dd0da15424ad5069da56bc612168eff965dc6c18f63409b64041442609a0f5f9"},"schema_version":"1.0"},"canonical_sha256":"07ca337159298b3f779576ae67fe422e1a9388dc19aee004e46b62637afb94a1","source":{"kind":"arxiv","id":"1403.1477","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.1477","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"arxiv_version","alias_value":"1403.1477v3","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.1477","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"pith_short_12","alias_value":"A7FDG4KZFGFT","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"A7FDG4KZFGFT654V","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"A7FDG4KZ","created_at":"2026-05-18T12:28:19Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:A7FDG4KZFGFT654VO2XGP7SCFY","target":"record","payload":{"canonical_record":{"source":{"id":"1403.1477","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-03-06T16:18:12Z","cross_cats_sorted":[],"title_canon_sha256":"0e091fd35a34c19e0a7c151836b5fb243a392ed01dc53bd93a64ca12bd22c68a","abstract_canon_sha256":"dd0da15424ad5069da56bc612168eff965dc6c18f63409b64041442609a0f5f9"},"schema_version":"1.0"},"canonical_sha256":"07ca337159298b3f779576ae67fe422e1a9388dc19aee004e46b62637afb94a1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:37:35.942590Z","signature_b64":"bCT5ZKtvad6YSRCVNHNELcwuWfufQxBmn+nlF1dplaFG4mzpP1W6eQQ2GFwMOiiNfZ/GrQCvogVVqgx7f+sYCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"07ca337159298b3f779576ae67fe422e1a9388dc19aee004e46b62637afb94a1","last_reissued_at":"2026-05-18T01:37:35.942087Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:37:35.942087Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1403.1477","source_version":3,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:37:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"MncrLf7ECaRBIfj7I+ylFFtbvy1VuNzyzdEwNd9woZ/i4GG1/+18Qw6Ae7Kt6mS2qsHEIch9vOOx/Utv4AstAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T18:46:10.863275Z"},"content_sha256":"cf4105225dc48d2b71df8601e474f1656436c9634dfa6dbf02557a639f5961a7","schema_version":"1.0","event_id":"sha256:cf4105225dc48d2b71df8601e474f1656436c9634dfa6dbf02557a639f5961a7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:A7FDG4KZFGFT654VO2XGP7SCFY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Linear usage of state","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Rasmus Ejlers M{\\o}gelberg (IT University of Copenhagen), Sam Staton (Computer Laboratory, University of Cambridge)","submitted_at":"2014-03-06T16:18:12Z","abstract_excerpt":"We investigate the phenomenon that \"every monad is a linear state monad\". We do this by studying a fully-complete state-passing translation from an impure call-by-value language to a new linear type theory: the enriched call-by-value calculus. The results are not specific to store, but can be applied to any computational effect expressible using algebraic operations, even to effects that are not usually thought of as stateful. There is a bijective correspondence between generic effects in the source language and state access operations in the enriched call-by-value calculus. From the perspecti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.1477","kind":"arxiv","version":3},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T01:37:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8Q01qTXpTSWtMnfXCDbWpnSPuFpmGi2xx6FKsAJlBLINeNdevkMgfuL9NkPH2KSzkwpC2g4N6jlfnJ33N41jAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T18:46:10.863896Z"},"content_sha256":"414f07a921d25d22f2111604e9e3a629942dc84749113803f37d93f4c37fa2e0","schema_version":"1.0","event_id":"sha256:414f07a921d25d22f2111604e9e3a629942dc84749113803f37d93f4c37fa2e0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A7FDG4KZFGFT654VO2XGP7SCFY/bundle.json","state_url":"https://pith.science/pith/A7FDG4KZFGFT654VO2XGP7SCFY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A7FDG4KZFGFT654VO2XGP7SCFY/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-07T18:46:10Z","links":{"resolver":"https://pith.science/pith/A7FDG4KZFGFT654VO2XGP7SCFY","bundle":"https://pith.science/pith/A7FDG4KZFGFT654VO2XGP7SCFY/bundle.json","state":"https://pith.science/pith/A7FDG4KZFGFT654VO2XGP7SCFY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A7FDG4KZFGFT654VO2XGP7SCFY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:A7FDG4KZFGFT654VO2XGP7SCFY","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":"dd0da15424ad5069da56bc612168eff965dc6c18f63409b64041442609a0f5f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-03-06T16:18:12Z","title_canon_sha256":"0e091fd35a34c19e0a7c151836b5fb243a392ed01dc53bd93a64ca12bd22c68a"},"schema_version":"1.0","source":{"id":"1403.1477","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1403.1477","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"arxiv_version","alias_value":"1403.1477v3","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1403.1477","created_at":"2026-05-18T01:37:35Z"},{"alias_kind":"pith_short_12","alias_value":"A7FDG4KZFGFT","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_16","alias_value":"A7FDG4KZFGFT654V","created_at":"2026-05-18T12:28:19Z"},{"alias_kind":"pith_short_8","alias_value":"A7FDG4KZ","created_at":"2026-05-18T12:28:19Z"}],"graph_snapshots":[{"event_id":"sha256:414f07a921d25d22f2111604e9e3a629942dc84749113803f37d93f4c37fa2e0","target":"graph","created_at":"2026-05-18T01:37:35Z","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 investigate the phenomenon that \"every monad is a linear state monad\". We do this by studying a fully-complete state-passing translation from an impure call-by-value language to a new linear type theory: the enriched call-by-value calculus. The results are not specific to store, but can be applied to any computational effect expressible using algebraic operations, even to effects that are not usually thought of as stateful. There is a bijective correspondence between generic effects in the source language and state access operations in the enriched call-by-value calculus. From the perspecti","authors_text":"Rasmus Ejlers M{\\o}gelberg (IT University of Copenhagen), Sam Staton (Computer Laboratory, University of Cambridge)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-03-06T16:18:12Z","title":"Linear usage of state"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1403.1477","kind":"arxiv","version":3},"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:cf4105225dc48d2b71df8601e474f1656436c9634dfa6dbf02557a639f5961a7","target":"record","created_at":"2026-05-18T01:37:35Z","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":"dd0da15424ad5069da56bc612168eff965dc6c18f63409b64041442609a0f5f9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-03-06T16:18:12Z","title_canon_sha256":"0e091fd35a34c19e0a7c151836b5fb243a392ed01dc53bd93a64ca12bd22c68a"},"schema_version":"1.0","source":{"id":"1403.1477","kind":"arxiv","version":3}},"canonical_sha256":"07ca337159298b3f779576ae67fe422e1a9388dc19aee004e46b62637afb94a1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"07ca337159298b3f779576ae67fe422e1a9388dc19aee004e46b62637afb94a1","first_computed_at":"2026-05-18T01:37:35.942087Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:37:35.942087Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bCT5ZKtvad6YSRCVNHNELcwuWfufQxBmn+nlF1dplaFG4mzpP1W6eQQ2GFwMOiiNfZ/GrQCvogVVqgx7f+sYCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:37:35.942590Z","signed_message":"canonical_sha256_bytes"},"source_id":"1403.1477","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cf4105225dc48d2b71df8601e474f1656436c9634dfa6dbf02557a639f5961a7","sha256:414f07a921d25d22f2111604e9e3a629942dc84749113803f37d93f4c37fa2e0"],"state_sha256":"a3c4b6ebd8a5290c5e9066caca0ce14057d278ed5870777c69ff3e750d4a4a4a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"viMjss8WH+zh0GxZF5OJXdjWngduAtlkmSu3AQho4M2gfLOwdsNVUBaE38bvOgDJaWOq89UHPp61ud/E6HLbCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T18:46:10.868164Z","bundle_sha256":"109b6dad140a691e013ac7b0450c67277cd1873e826097e39504d298ae527796"}}