{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:AOGCWUX2KBX4ZYSNK3T6XOCEHW","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":"aa46f01f3e9e859d5fcfdfbe1dae1fb9069f0a61d16e9399246f4467fa683acb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-13T04:37:13Z","title_canon_sha256":"e647bca3afd4120584663426ab1cfcd3d5f42d498e09a77474c1e048f1005814"},"schema_version":"1.0","source":{"id":"1606.03809","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.03809","created_at":"2026-05-18T00:27:04Z"},{"alias_kind":"arxiv_version","alias_value":"1606.03809v3","created_at":"2026-05-18T00:27:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.03809","created_at":"2026-05-18T00:27:04Z"},{"alias_kind":"pith_short_12","alias_value":"AOGCWUX2KBX4","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_16","alias_value":"AOGCWUX2KBX4ZYSN","created_at":"2026-05-18T12:30:07Z"},{"alias_kind":"pith_short_8","alias_value":"AOGCWUX2","created_at":"2026-05-18T12:30:07Z"}],"graph_snapshots":[{"event_id":"sha256:3cb6a68f7aeb179770e14a8eb9f09b5c4c564acdf366bdf1ce74073d06acbb9f","target":"graph","created_at":"2026-05-18T00:27:04Z","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 statements `inheritance is not subtyping' and `mainstream OO languages unnecessarily place restrictions over inheritance' have rippled as mantras through the PL research community for years. Many mainstream OO developers and OO language designers however do not accept these statements. In \\emph{nominally-typed} OO languages that these developers and language designers are dearly familiar with, inheritance simply is subtyping; and they believe OO type inheritance is an inherently nominal notion not a structural one.\n  Nominally-typed OO languages are among the most used programming language","authors_text":"Moez A. AbdelGawad","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-13T04:37:13Z","title":"Why Nominal-Typing Matters in OOP"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.03809","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:1c31202bc51688f270e0fc64360c0492501dd239d60a1783b66040f060ab9ad3","target":"record","created_at":"2026-05-18T00:27:04Z","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":"aa46f01f3e9e859d5fcfdfbe1dae1fb9069f0a61d16e9399246f4467fa683acb","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-13T04:37:13Z","title_canon_sha256":"e647bca3afd4120584663426ab1cfcd3d5f42d498e09a77474c1e048f1005814"},"schema_version":"1.0","source":{"id":"1606.03809","kind":"arxiv","version":3}},"canonical_sha256":"038c2b52fa506fcce24d56e7ebb8443d814f62f20f4643e8cd0bb2336b6f877d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"038c2b52fa506fcce24d56e7ebb8443d814f62f20f4643e8cd0bb2336b6f877d","first_computed_at":"2026-05-18T00:27:04.878913Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:27:04.878913Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"YcwpCa3Obb1rWQqiCE8THL+20IEssDDevZGIYoeK/IcSPz0U00MDP4G++e7EukXATxKWWkSYWWK5XXFGsConCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:27:04.880100Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.03809","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1c31202bc51688f270e0fc64360c0492501dd239d60a1783b66040f060ab9ad3","sha256:3cb6a68f7aeb179770e14a8eb9f09b5c4c564acdf366bdf1ce74073d06acbb9f"],"state_sha256":"38cab44bac8680c86f38550f3a0486f5169aa519d42fe413b8a19dd6162c3ee2"}