{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:AO6RMH4SGL2T7BVVEYGU74VBYI","short_pith_number":"pith:AO6RMH4S","schema_version":"1.0","canonical_sha256":"03bd161f9232f53f86b5260d4ff2a1c227700f26b47d49091a027f7bf07ccda7","source":{"kind":"arxiv","id":"2306.12935","version":4},"attestation_state":"computed","paper":{"title":"Special Delivery: Programming with Mailbox Types (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Danielle Marshall, Duncan Paul Attard, Phil Trinder, Simon Fowler, Simon J. Gay","submitted_at":"2023-06-22T14:48:48Z","abstract_excerpt":"The asynchronous and unidirectional communication model supported by mailboxes is a key reason for the success of actor languages like Erlang and Elixir for implementing reliable and scalable distributed systems. Although actors eliminate many of the issues stemming from shared memory concurrency, they remain vulnerable to communication errors such as protocol violations and deadlocks. Behavioural types make it possible to detect communication errors early in the development process, but most work has addressed channel-based languages rather than actor languages.\n  Mailbox types are a novel be"},"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":"2306.12935","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-06-22T14:48:48Z","cross_cats_sorted":[],"title_canon_sha256":"dff34a43c3f2b32964ab8f40331e018f12d24d99a5b9adabdcb412aaa136279a","abstract_canon_sha256":"bca82eaba1b5adf39d25bfd1297578d36039d95e55de50ef47b38f2d16275250"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-20T01:04:48.149453Z","signature_b64":"OTwYOYDgaCt+9jWxrsNaKT9IdRvmTWVDUUDxkSPTZqiy3b22AYiU7UGmpJ3yt8gyApsLlw7mAxYAG9DnQmbvBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"03bd161f9232f53f86b5260d4ff2a1c227700f26b47d49091a027f7bf07ccda7","last_reissued_at":"2026-05-20T01:04:48.148504Z","signature_status":"signed_v1","first_computed_at":"2026-05-20T01:04:48.148504Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Special Delivery: Programming with Mailbox Types (Extended Version)","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Danielle Marshall, Duncan Paul Attard, Phil Trinder, Simon Fowler, Simon J. Gay","submitted_at":"2023-06-22T14:48:48Z","abstract_excerpt":"The asynchronous and unidirectional communication model supported by mailboxes is a key reason for the success of actor languages like Erlang and Elixir for implementing reliable and scalable distributed systems. Although actors eliminate many of the issues stemming from shared memory concurrency, they remain vulnerable to communication errors such as protocol violations and deadlocks. Behavioural types make it possible to detect communication errors early in the development process, but most work has addressed channel-based languages rather than actor languages.\n  Mailbox types are a novel be"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2306.12935","kind":"arxiv","version":4},"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/2306.12935/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":"2306.12935","created_at":"2026-05-20T01:04:48.148594+00:00"},{"alias_kind":"arxiv_version","alias_value":"2306.12935v4","created_at":"2026-05-20T01:04:48.148594+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2306.12935","created_at":"2026-05-20T01:04:48.148594+00:00"},{"alias_kind":"pith_short_12","alias_value":"AO6RMH4SGL2T","created_at":"2026-05-20T01:04:48.148594+00:00"},{"alias_kind":"pith_short_16","alias_value":"AO6RMH4SGL2T7BVV","created_at":"2026-05-20T01:04:48.148594+00:00"},{"alias_kind":"pith_short_8","alias_value":"AO6RMH4S","created_at":"2026-05-20T01:04:48.148594+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/AO6RMH4SGL2T7BVVEYGU74VBYI","json":"https://pith.science/pith/AO6RMH4SGL2T7BVVEYGU74VBYI.json","graph_json":"https://pith.science/api/pith-number/AO6RMH4SGL2T7BVVEYGU74VBYI/graph.json","events_json":"https://pith.science/api/pith-number/AO6RMH4SGL2T7BVVEYGU74VBYI/events.json","paper":"https://pith.science/paper/AO6RMH4S"},"agent_actions":{"view_html":"https://pith.science/pith/AO6RMH4SGL2T7BVVEYGU74VBYI","download_json":"https://pith.science/pith/AO6RMH4SGL2T7BVVEYGU74VBYI.json","view_paper":"https://pith.science/paper/AO6RMH4S","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2306.12935&json=true","fetch_graph":"https://pith.science/api/pith-number/AO6RMH4SGL2T7BVVEYGU74VBYI/graph.json","fetch_events":"https://pith.science/api/pith-number/AO6RMH4SGL2T7BVVEYGU74VBYI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/AO6RMH4SGL2T7BVVEYGU74VBYI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/AO6RMH4SGL2T7BVVEYGU74VBYI/action/storage_attestation","attest_author":"https://pith.science/pith/AO6RMH4SGL2T7BVVEYGU74VBYI/action/author_attestation","sign_citation":"https://pith.science/pith/AO6RMH4SGL2T7BVVEYGU74VBYI/action/citation_signature","submit_replication":"https://pith.science/pith/AO6RMH4SGL2T7BVVEYGU74VBYI/action/replication_record"}},"created_at":"2026-05-20T01:04:48.148594+00:00","updated_at":"2026-05-20T01:04:48.148594+00:00"}