{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:4N5OVUMVHECSWNLG5HQDLLHHRU","short_pith_number":"pith:4N5OVUMV","canonical_record":{"source":{"id":"1602.03591","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-02-11T01:19:51Z","cross_cats_sorted":[],"title_canon_sha256":"99f39ff6cbcb59ed990217fce5f5d83ff1b850d57fd91ef6b347fe421362b9b4","abstract_canon_sha256":"0c1514c0af34307623a0ea9d5d38972d3c3c0fd858d406b607e4bda671d69259"},"schema_version":"1.0"},"canonical_sha256":"e37aead19539052b3566e9e035ace78d0ae94d763f90be2a64544c26185917cb","source":{"kind":"arxiv","id":"1602.03591","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.03591","created_at":"2026-05-18T01:20:58Z"},{"alias_kind":"arxiv_version","alias_value":"1602.03591v1","created_at":"2026-05-18T01:20:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.03591","created_at":"2026-05-18T01:20:58Z"},{"alias_kind":"pith_short_12","alias_value":"4N5OVUMVHECS","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4N5OVUMVHECSWNLG","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4N5OVUMV","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:4N5OVUMVHECSWNLG5HQDLLHHRU","target":"record","payload":{"canonical_record":{"source":{"id":"1602.03591","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-02-11T01:19:51Z","cross_cats_sorted":[],"title_canon_sha256":"99f39ff6cbcb59ed990217fce5f5d83ff1b850d57fd91ef6b347fe421362b9b4","abstract_canon_sha256":"0c1514c0af34307623a0ea9d5d38972d3c3c0fd858d406b607e4bda671d69259"},"schema_version":"1.0"},"canonical_sha256":"e37aead19539052b3566e9e035ace78d0ae94d763f90be2a64544c26185917cb","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:20:58.403549Z","signature_b64":"LVmmi1y4hh6W3BoKUzCKKis7ogbJ6J6EfXQtDLqAf7aga08gFpbThpPJouNsEYpk0Kt5/F/LRk3ThrNzXaUTBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e37aead19539052b3566e9e035ace78d0ae94d763f90be2a64544c26185917cb","last_reissued_at":"2026-05-18T01:20:58.403065Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:20:58.403065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.03591","source_version":1,"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:20:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QDlh1XHrfXCfeTbNwtK4K3D/V5q1KdXIvYDLMKteT/oirU2Rua8yBMcpIW0+eYNeNratoenO/kc3DVkVNut3Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T15:05:15.473787Z"},"content_sha256":"cd265ff4c8f1abb3166d97b0bb5676a5a388775d6b87893182f49ce971c78968","schema_version":"1.0","event_id":"sha256:cd265ff4c8f1abb3166d97b0bb5676a5a388775d6b87893182f49ce971c78968"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:4N5OVUMVHECSWNLG5HQDLLHHRU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using session types as an effect system","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Dominic Orchard (Imperial College London), Nobuko Yoshida (Imperial College London)","submitted_at":"2016-02-11T01:19:51Z","abstract_excerpt":"Side effects are a core part of practical programming. However, they are often hard to reason about, particularly in a concurrent setting. We propose a foundation for reasoning about concurrent side effects using sessions. Primarily, we show that session types are expressive enough to encode an effect system for stateful processes. This is formalised via an effect-preserving encoding of a simple imperative language with an effect system into the pi-calculus with session primitives and session types (into which we encode effect specifications). This result goes towards showing a connection betw"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.03591","kind":"arxiv","version":1},"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:20:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Yo1LtK2YudBPViC+6+BVuYzpNtwFHnCUaGQgzH/RgZLOBhs3WEGZUEEbbZ7YNJcu26FrAnJuV08m0OjqG1UrCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-26T15:05:15.474124Z"},"content_sha256":"010282541ec95d22e816272197d6f97fefee793a7942fb77e1946b0d54f688e6","schema_version":"1.0","event_id":"sha256:010282541ec95d22e816272197d6f97fefee793a7942fb77e1946b0d54f688e6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4N5OVUMVHECSWNLG5HQDLLHHRU/bundle.json","state_url":"https://pith.science/pith/4N5OVUMVHECSWNLG5HQDLLHHRU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4N5OVUMVHECSWNLG5HQDLLHHRU/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-26T15:05:15Z","links":{"resolver":"https://pith.science/pith/4N5OVUMVHECSWNLG5HQDLLHHRU","bundle":"https://pith.science/pith/4N5OVUMVHECSWNLG5HQDLLHHRU/bundle.json","state":"https://pith.science/pith/4N5OVUMVHECSWNLG5HQDLLHHRU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4N5OVUMVHECSWNLG5HQDLLHHRU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:4N5OVUMVHECSWNLG5HQDLLHHRU","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":"0c1514c0af34307623a0ea9d5d38972d3c3c0fd858d406b607e4bda671d69259","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-02-11T01:19:51Z","title_canon_sha256":"99f39ff6cbcb59ed990217fce5f5d83ff1b850d57fd91ef6b347fe421362b9b4"},"schema_version":"1.0","source":{"id":"1602.03591","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.03591","created_at":"2026-05-18T01:20:58Z"},{"alias_kind":"arxiv_version","alias_value":"1602.03591v1","created_at":"2026-05-18T01:20:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.03591","created_at":"2026-05-18T01:20:58Z"},{"alias_kind":"pith_short_12","alias_value":"4N5OVUMVHECS","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4N5OVUMVHECSWNLG","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4N5OVUMV","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:010282541ec95d22e816272197d6f97fefee793a7942fb77e1946b0d54f688e6","target":"graph","created_at":"2026-05-18T01:20:58Z","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":"Side effects are a core part of practical programming. However, they are often hard to reason about, particularly in a concurrent setting. We propose a foundation for reasoning about concurrent side effects using sessions. Primarily, we show that session types are expressive enough to encode an effect system for stateful processes. This is formalised via an effect-preserving encoding of a simple imperative language with an effect system into the pi-calculus with session primitives and session types (into which we encode effect specifications). This result goes towards showing a connection betw","authors_text":"Dominic Orchard (Imperial College London), Nobuko Yoshida (Imperial College London)","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-02-11T01:19:51Z","title":"Using session types as an effect system"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.03591","kind":"arxiv","version":1},"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:cd265ff4c8f1abb3166d97b0bb5676a5a388775d6b87893182f49ce971c78968","target":"record","created_at":"2026-05-18T01:20:58Z","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":"0c1514c0af34307623a0ea9d5d38972d3c3c0fd858d406b607e4bda671d69259","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-02-11T01:19:51Z","title_canon_sha256":"99f39ff6cbcb59ed990217fce5f5d83ff1b850d57fd91ef6b347fe421362b9b4"},"schema_version":"1.0","source":{"id":"1602.03591","kind":"arxiv","version":1}},"canonical_sha256":"e37aead19539052b3566e9e035ace78d0ae94d763f90be2a64544c26185917cb","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e37aead19539052b3566e9e035ace78d0ae94d763f90be2a64544c26185917cb","first_computed_at":"2026-05-18T01:20:58.403065Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:20:58.403065Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"LVmmi1y4hh6W3BoKUzCKKis7ogbJ6J6EfXQtDLqAf7aga08gFpbThpPJouNsEYpk0Kt5/F/LRk3ThrNzXaUTBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:20:58.403549Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.03591","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:cd265ff4c8f1abb3166d97b0bb5676a5a388775d6b87893182f49ce971c78968","sha256:010282541ec95d22e816272197d6f97fefee793a7942fb77e1946b0d54f688e6"],"state_sha256":"bd1d751662d78c2cadc1eb9a37c400ad34e6e4767a718df128b73c8b4ddba2b0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qHsVAPPGfAVUayWUdHhIRJddJ5lR9PhczSZ2rPu/bcAsfjqgUtp7TbDvk+g34aQgTrbri3HT+LajAMUA2jUpCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-26T15:05:15.476019Z","bundle_sha256":"81609420a772a2abe17fcd53a909ea8c1b89c9fdea8a07a3375417f54f5d6388"}}