{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:YGVELMZYTDUGSAMWK3KSA2U6PI","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":"06cdc67d611a39e674079f8dde9290573f4f2b448c38758bdbc0d64d73a59708","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-11-23T02:37:51Z","title_canon_sha256":"8ad81ab3a8c3d42ed284086c13f3bb31b50fa7cbea0cb5b67ebace3e5e8753fa"},"schema_version":"1.0","source":{"id":"1611.07610","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.07610","created_at":"2026-05-18T00:57:00Z"},{"alias_kind":"arxiv_version","alias_value":"1611.07610v1","created_at":"2026-05-18T00:57:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.07610","created_at":"2026-05-18T00:57:00Z"},{"alias_kind":"pith_short_12","alias_value":"YGVELMZYTDUG","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_16","alias_value":"YGVELMZYTDUGSAMW","created_at":"2026-05-18T12:30:53Z"},{"alias_kind":"pith_short_8","alias_value":"YGVELMZY","created_at":"2026-05-18T12:30:53Z"}],"graph_snapshots":[{"event_id":"sha256:bc731c567556587ed391a1dc42506dbef74de48e8a47d256f0748ebc249c9698","target":"graph","created_at":"2026-05-18T00:57:00Z","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":"The Dependent Object Types (DOT) calculus aims to model the essence of Scala, with a focus on abstract type members, path-dependent types, and subtyping. Other Scala features could be defined by translation to DOT. Mutation is a fundamental feature of Scala currently missing in DOT. Mutation in DOT is needed not only to model effectful computation and mutation in Scala programs, but even to precisely specify how Scala initializes immutable variables and fields (vals). We present an extension to DOT that adds typed mutable reference cells. We have proven the extension sound with a mechanized pr","authors_text":"Marianna Rapoport, Ond\\v{r}ej Lhot\\'ak","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-11-23T02:37:51Z","title":"Mutable WadlerFest DOT"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.07610","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:53c14ae6c0fc71e367d7abcbe776d2c3b931ad7755c37deab592efe97db6bb7d","target":"record","created_at":"2026-05-18T00:57:00Z","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":"06cdc67d611a39e674079f8dde9290573f4f2b448c38758bdbc0d64d73a59708","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-11-23T02:37:51Z","title_canon_sha256":"8ad81ab3a8c3d42ed284086c13f3bb31b50fa7cbea0cb5b67ebace3e5e8753fa"},"schema_version":"1.0","source":{"id":"1611.07610","kind":"arxiv","version":1}},"canonical_sha256":"c1aa45b33898e869019656d5206a9e7a2eb1977d4263b758a63612aa38637c00","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c1aa45b33898e869019656d5206a9e7a2eb1977d4263b758a63612aa38637c00","first_computed_at":"2026-05-18T00:57:00.319217Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:57:00.319217Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ESDrBRc/HvCcMjTndiwlzdmSoGbE4esfYSB2TAGxZQbGhWVinYV4SzD4n7GLHYFR7Trb3F3PRhCYnCOSUi+vDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:57:00.319687Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.07610","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:53c14ae6c0fc71e367d7abcbe776d2c3b931ad7755c37deab592efe97db6bb7d","sha256:bc731c567556587ed391a1dc42506dbef74de48e8a47d256f0748ebc249c9698"],"state_sha256":"dc66286c65a2f3e2475fbc2e0eeec998f08e62a5885e212d67c10b92b4149b26"}