{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:SCGHBBM57M67DYSPWFAUM4L6CM","short_pith_number":"pith:SCGHBBM5","schema_version":"1.0","canonical_sha256":"908c70859dfb3df1e24fb14146717e132aa02e8dca90661c0cb2b373484af216","source":{"kind":"arxiv","id":"1910.11108","version":3},"attestation_state":"computed","paper":{"title":"Model-View-Update-Communicate: Session Types meet the Elm Architecture","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Simon Fowler","submitted_at":"2019-10-24T13:48:33Z","abstract_excerpt":"Session types are a type discipline for communication channel endpoints which allow conformance to protocols to be checked statically. Safely implementing session types requires linearity, usually in the form of a linear type system. Unfortunately, linear typing is difficult to integrate with graphical user interfaces (GUIs), and to date most programs using session types are command line applications.\n  In this paper, we propose the first principled integration of session typing and GUI development by building upon the Model-View-Update (MVU) architecture, pioneered by the Elm programming lang"},"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":"1910.11108","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2019-10-24T13:48:33Z","cross_cats_sorted":[],"title_canon_sha256":"2ecada2a9d346f02b670de00489b52669fd757eee2fca37a978aabe70389feb4","abstract_canon_sha256":"e7d344e621c76635a913448a1122a83206c15a4685dba7173890cb886f2e680f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T01:06:31.454877Z","signature_b64":"/On8sK9qRJNhuZPSAjRnrcAkHNXAOGZgF1xNwLXr7vsLrlSefP5wS/L3NTbFELzFDgVub+VEP2HI/yYhxDBPCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"908c70859dfb3df1e24fb14146717e132aa02e8dca90661c0cb2b373484af216","last_reissued_at":"2026-07-05T01:06:31.454484Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T01:06:31.454484Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Model-View-Update-Communicate: Session Types meet the Elm Architecture","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Simon Fowler","submitted_at":"2019-10-24T13:48:33Z","abstract_excerpt":"Session types are a type discipline for communication channel endpoints which allow conformance to protocols to be checked statically. Safely implementing session types requires linearity, usually in the form of a linear type system. Unfortunately, linear typing is difficult to integrate with graphical user interfaces (GUIs), and to date most programs using session types are command line applications.\n  In this paper, we propose the first principled integration of session typing and GUI development by building upon the Model-View-Update (MVU) architecture, pioneered by the Elm programming lang"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.11108","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1910.11108/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":"1910.11108","created_at":"2026-07-05T01:06:31.454544+00:00"},{"alias_kind":"arxiv_version","alias_value":"1910.11108v3","created_at":"2026-07-05T01:06:31.454544+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.11108","created_at":"2026-07-05T01:06:31.454544+00:00"},{"alias_kind":"pith_short_12","alias_value":"SCGHBBM57M67","created_at":"2026-07-05T01:06:31.454544+00:00"},{"alias_kind":"pith_short_16","alias_value":"SCGHBBM57M67DYSP","created_at":"2026-07-05T01:06:31.454544+00:00"},{"alias_kind":"pith_short_8","alias_value":"SCGHBBM5","created_at":"2026-07-05T01:06:31.454544+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2607.27074","citing_title":"A Type-and-Effect System for Temporal Dependency Analysis of Render-based Reactive Programs","ref_index":15,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SCGHBBM57M67DYSPWFAUM4L6CM","json":"https://pith.science/pith/SCGHBBM57M67DYSPWFAUM4L6CM.json","graph_json":"https://pith.science/api/pith-number/SCGHBBM57M67DYSPWFAUM4L6CM/graph.json","events_json":"https://pith.science/api/pith-number/SCGHBBM57M67DYSPWFAUM4L6CM/events.json","paper":"https://pith.science/paper/SCGHBBM5"},"agent_actions":{"view_html":"https://pith.science/pith/SCGHBBM57M67DYSPWFAUM4L6CM","download_json":"https://pith.science/pith/SCGHBBM57M67DYSPWFAUM4L6CM.json","view_paper":"https://pith.science/paper/SCGHBBM5","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1910.11108&json=true","fetch_graph":"https://pith.science/api/pith-number/SCGHBBM57M67DYSPWFAUM4L6CM/graph.json","fetch_events":"https://pith.science/api/pith-number/SCGHBBM57M67DYSPWFAUM4L6CM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SCGHBBM57M67DYSPWFAUM4L6CM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SCGHBBM57M67DYSPWFAUM4L6CM/action/storage_attestation","attest_author":"https://pith.science/pith/SCGHBBM57M67DYSPWFAUM4L6CM/action/author_attestation","sign_citation":"https://pith.science/pith/SCGHBBM57M67DYSPWFAUM4L6CM/action/citation_signature","submit_replication":"https://pith.science/pith/SCGHBBM57M67DYSPWFAUM4L6CM/action/replication_record"}},"created_at":"2026-07-05T01:06:31.454544+00:00","updated_at":"2026-07-05T01:06:31.454544+00:00"}