{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:JPSEBY74N5QFN4CZFKH34PP2JA","short_pith_number":"pith:JPSEBY74","canonical_record":{"source":{"id":"1808.00225","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-01T08:44:00Z","cross_cats_sorted":[],"title_canon_sha256":"4740f5268e4ca5b10403369612d8abaf00ec6d54fc85a620b8f28768a55603f1","abstract_canon_sha256":"b9e48009319a8903bcb169938b70e29483fccae2cf06e6877ca9d990244aac91"},"schema_version":"1.0"},"canonical_sha256":"4be440e3fc6f6056f0592a8fbe3dfa4801e37e1520cc3d24429792b6ec4c9149","source":{"kind":"arxiv","id":"1808.00225","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.00225","created_at":"2026-05-17T23:59:52Z"},{"alias_kind":"arxiv_version","alias_value":"1808.00225v2","created_at":"2026-05-17T23:59:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.00225","created_at":"2026-05-17T23:59:52Z"},{"alias_kind":"pith_short_12","alias_value":"JPSEBY74N5QF","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"JPSEBY74N5QFN4CZ","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"JPSEBY74","created_at":"2026-05-18T12:32:31Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:JPSEBY74N5QFN4CZFKH34PP2JA","target":"record","payload":{"canonical_record":{"source":{"id":"1808.00225","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-01T08:44:00Z","cross_cats_sorted":[],"title_canon_sha256":"4740f5268e4ca5b10403369612d8abaf00ec6d54fc85a620b8f28768a55603f1","abstract_canon_sha256":"b9e48009319a8903bcb169938b70e29483fccae2cf06e6877ca9d990244aac91"},"schema_version":"1.0"},"canonical_sha256":"4be440e3fc6f6056f0592a8fbe3dfa4801e37e1520cc3d24429792b6ec4c9149","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:59:52.037641Z","signature_b64":"W4b2gvc3GiP/50t7Z0xLJTXpSt61WEkRJ16sQ+gBF2uXHGUEjj8/dlI3Kdm3rh8apwsp7E3e+kY0m+P5aITeBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4be440e3fc6f6056f0592a8fbe3dfa4801e37e1520cc3d24429792b6ec4c9149","last_reissued_at":"2026-05-17T23:59:52.037151Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:59:52.037151Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1808.00225","source_version":2,"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-17T23:59:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"laBEGNweO5pupCPl+jF27yeqUNf1nfnUN/ssIHau8OgeT+AQctT41YfgrIxyyRRBk/0fsfoTgxnc3tupnaAFDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:01:25.778053Z"},"content_sha256":"a41c7ae839ecaa580fca7c2e15d4f05ae8b5fb9d43da8c87b97c26557c70da0a","schema_version":"1.0","event_id":"sha256:a41c7ae839ecaa580fca7c2e15d4f05ae8b5fb9d43da8c87b97c26557c70da0a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:JPSEBY74N5QFN4CZFKH34PP2JA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using Standard Typing Algorithms Incrementally","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Letterio Galletta, Matteo Busi, Pierpaolo Degano","submitted_at":"2018-08-01T08:44:00Z","abstract_excerpt":"Modern languages are equipped with static type checking/inference that helps programmers to keep a clean programming style and to reduce errors. However, the ever-growing size of programs and their continuous evolution require building fast and efficient analysers. A promising solution is incrementality, so one only re-types those parts of the program that are new, rather than the entire codebase. We propose an algorithmic schema driving the definition of an incremental typing algorithm that exploits the existing, standard ones with no changes. Ours is a grey-box approach, meaning that just th"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.00225","kind":"arxiv","version":2},"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-17T23:59:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8Hbr3dTp6meJs1KgzmXjicSYxjl9Hm9krSk39jOwCYwZai9sfZapwSeZmYLVwNwf4QDON/Wm5FmkKRDumJT9Bw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T06:01:25.778412Z"},"content_sha256":"698832beb8c1e491aa1fd986c8c5a027710aa7490290863876d26b8245b65dca","schema_version":"1.0","event_id":"sha256:698832beb8c1e491aa1fd986c8c5a027710aa7490290863876d26b8245b65dca"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JPSEBY74N5QFN4CZFKH34PP2JA/bundle.json","state_url":"https://pith.science/pith/JPSEBY74N5QFN4CZFKH34PP2JA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JPSEBY74N5QFN4CZFKH34PP2JA/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-07-07T06:01:25Z","links":{"resolver":"https://pith.science/pith/JPSEBY74N5QFN4CZFKH34PP2JA","bundle":"https://pith.science/pith/JPSEBY74N5QFN4CZFKH34PP2JA/bundle.json","state":"https://pith.science/pith/JPSEBY74N5QFN4CZFKH34PP2JA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JPSEBY74N5QFN4CZFKH34PP2JA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:JPSEBY74N5QFN4CZFKH34PP2JA","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":"b9e48009319a8903bcb169938b70e29483fccae2cf06e6877ca9d990244aac91","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-01T08:44:00Z","title_canon_sha256":"4740f5268e4ca5b10403369612d8abaf00ec6d54fc85a620b8f28768a55603f1"},"schema_version":"1.0","source":{"id":"1808.00225","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.00225","created_at":"2026-05-17T23:59:52Z"},{"alias_kind":"arxiv_version","alias_value":"1808.00225v2","created_at":"2026-05-17T23:59:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.00225","created_at":"2026-05-17T23:59:52Z"},{"alias_kind":"pith_short_12","alias_value":"JPSEBY74N5QF","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_16","alias_value":"JPSEBY74N5QFN4CZ","created_at":"2026-05-18T12:32:31Z"},{"alias_kind":"pith_short_8","alias_value":"JPSEBY74","created_at":"2026-05-18T12:32:31Z"}],"graph_snapshots":[{"event_id":"sha256:698832beb8c1e491aa1fd986c8c5a027710aa7490290863876d26b8245b65dca","target":"graph","created_at":"2026-05-17T23:59:52Z","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":"Modern languages are equipped with static type checking/inference that helps programmers to keep a clean programming style and to reduce errors. However, the ever-growing size of programs and their continuous evolution require building fast and efficient analysers. A promising solution is incrementality, so one only re-types those parts of the program that are new, rather than the entire codebase. We propose an algorithmic schema driving the definition of an incremental typing algorithm that exploits the existing, standard ones with no changes. Ours is a grey-box approach, meaning that just th","authors_text":"Letterio Galletta, Matteo Busi, Pierpaolo Degano","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-01T08:44:00Z","title":"Using Standard Typing Algorithms Incrementally"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.00225","kind":"arxiv","version":2},"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:a41c7ae839ecaa580fca7c2e15d4f05ae8b5fb9d43da8c87b97c26557c70da0a","target":"record","created_at":"2026-05-17T23:59:52Z","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":"b9e48009319a8903bcb169938b70e29483fccae2cf06e6877ca9d990244aac91","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-01T08:44:00Z","title_canon_sha256":"4740f5268e4ca5b10403369612d8abaf00ec6d54fc85a620b8f28768a55603f1"},"schema_version":"1.0","source":{"id":"1808.00225","kind":"arxiv","version":2}},"canonical_sha256":"4be440e3fc6f6056f0592a8fbe3dfa4801e37e1520cc3d24429792b6ec4c9149","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4be440e3fc6f6056f0592a8fbe3dfa4801e37e1520cc3d24429792b6ec4c9149","first_computed_at":"2026-05-17T23:59:52.037151Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:59:52.037151Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"W4b2gvc3GiP/50t7Z0xLJTXpSt61WEkRJ16sQ+gBF2uXHGUEjj8/dlI3Kdm3rh8apwsp7E3e+kY0m+P5aITeBw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:59:52.037641Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.00225","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a41c7ae839ecaa580fca7c2e15d4f05ae8b5fb9d43da8c87b97c26557c70da0a","sha256:698832beb8c1e491aa1fd986c8c5a027710aa7490290863876d26b8245b65dca"],"state_sha256":"bf17417f0b850e8fccb9cac3dac3ba673c8390a91bf9f21757cb041849ce5670"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B+5kXGsIiSTiDXQLaV/GWnKgcse0cXvh3wMaOg+YyEx71sg3stPgDhm8j+osrdGLdOULzkK1Ck9Ve4/pb/2YAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T06:01:25.780276Z","bundle_sha256":"7b6f88d8e216a75c7f28d61c5094d1495d48b73a3a0a1d269ddded25fad05d02"}}