{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:VU3BPG3SSYQMRSYHID5ANFRSCT","short_pith_number":"pith:VU3BPG3S","canonical_record":{"source":{"id":"1106.2575","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-13T23:41:05Z","cross_cats_sorted":[],"title_canon_sha256":"cec0bb75e54c6938dde9de3a7d12908e12af26d5a7bf1ead439038f1eecb6ef6","abstract_canon_sha256":"e7a5f5c2fee71c350295cbd991a93c39c4e78443eb94399917d372d35286f74a"},"schema_version":"1.0"},"canonical_sha256":"ad36179b729620c8cb0740fa06963214e53e66451f72f436b53bfb42a18fa79d","source":{"kind":"arxiv","id":"1106.2575","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.2575","created_at":"2026-05-18T04:20:05Z"},{"alias_kind":"arxiv_version","alias_value":"1106.2575v1","created_at":"2026-05-18T04:20:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.2575","created_at":"2026-05-18T04:20:05Z"},{"alias_kind":"pith_short_12","alias_value":"VU3BPG3SSYQM","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"VU3BPG3SSYQMRSYH","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"VU3BPG3S","created_at":"2026-05-18T12:26:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:VU3BPG3SSYQMRSYHID5ANFRSCT","target":"record","payload":{"canonical_record":{"source":{"id":"1106.2575","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-13T23:41:05Z","cross_cats_sorted":[],"title_canon_sha256":"cec0bb75e54c6938dde9de3a7d12908e12af26d5a7bf1ead439038f1eecb6ef6","abstract_canon_sha256":"e7a5f5c2fee71c350295cbd991a93c39c4e78443eb94399917d372d35286f74a"},"schema_version":"1.0"},"canonical_sha256":"ad36179b729620c8cb0740fa06963214e53e66451f72f436b53bfb42a18fa79d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:20:05.376934Z","signature_b64":"Yr+xc/C71TJHY1yXYa7ojyhuVlRwNeVN0psCEC9c2GYpksNBNNHJgQtfGwINitC7ipOAToI0wc5p24xmV5M8BQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ad36179b729620c8cb0740fa06963214e53e66451f72f436b53bfb42a18fa79d","last_reissued_at":"2026-05-18T04:20:05.376390Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:20:05.376390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1106.2575","source_version":1,"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-18T04:20:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IZDQnYIbuEdrURv8UR41A5wwiyQK0dGw36JZGSkmWhqicPE+BYyS/Z3HYU3cGNZm4rkWzXsotaiJ1Bn0XBB9AQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T01:00:46.546129Z"},"content_sha256":"9d052f67e63df7af3c4893ae3f863039c675bb679c07b80d6b9d32fbfb253031","schema_version":"1.0","event_id":"sha256:9d052f67e63df7af3c4893ae3f863039c675bb679c07b80d6b9d32fbfb253031"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:VU3BPG3SSYQMRSYHID5ANFRSCT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"The Design and Implementation of Typed Scheme: From Scripts to Programs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Matthias Felleisen, Sam Tobin-Hochstadt","submitted_at":"2011-06-13T23:41:05Z","abstract_excerpt":"When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of explicit type annotations in typical scripting languages forces programmers to must (re)discover critical pieces of design information every time they wish to change a program. This analysis step both slows down the maintenance process and may even introduce mistakes due to the violation of undiscovered invariants.\n  This paper presents Typed Scheme, an explicitly typed extension of PLT Scheme, an untyped scripting language. Its type system is based on the novel notion of occurrence typing"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.2575","kind":"arxiv","version":1},"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-18T04:20:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JHIviBuURiV+ejMmcvy28STKdCtxykbxVBONm1ZJJPZ0uQUeHNRA4aOp8oPf6E7McLOlq+8Jwk/1sLR2hRh0DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T01:00:46.546760Z"},"content_sha256":"4df1304ec1e53f7ab98111bcc1eb448c3429bc4c539e35f57428c346ae319375","schema_version":"1.0","event_id":"sha256:4df1304ec1e53f7ab98111bcc1eb448c3429bc4c539e35f57428c346ae319375"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VU3BPG3SSYQMRSYHID5ANFRSCT/bundle.json","state_url":"https://pith.science/pith/VU3BPG3SSYQMRSYHID5ANFRSCT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VU3BPG3SSYQMRSYHID5ANFRSCT/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-06-01T01:00:46Z","links":{"resolver":"https://pith.science/pith/VU3BPG3SSYQMRSYHID5ANFRSCT","bundle":"https://pith.science/pith/VU3BPG3SSYQMRSYHID5ANFRSCT/bundle.json","state":"https://pith.science/pith/VU3BPG3SSYQMRSYHID5ANFRSCT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VU3BPG3SSYQMRSYHID5ANFRSCT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:VU3BPG3SSYQMRSYHID5ANFRSCT","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":"e7a5f5c2fee71c350295cbd991a93c39c4e78443eb94399917d372d35286f74a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-13T23:41:05Z","title_canon_sha256":"cec0bb75e54c6938dde9de3a7d12908e12af26d5a7bf1ead439038f1eecb6ef6"},"schema_version":"1.0","source":{"id":"1106.2575","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1106.2575","created_at":"2026-05-18T04:20:05Z"},{"alias_kind":"arxiv_version","alias_value":"1106.2575v1","created_at":"2026-05-18T04:20:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1106.2575","created_at":"2026-05-18T04:20:05Z"},{"alias_kind":"pith_short_12","alias_value":"VU3BPG3SSYQM","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"VU3BPG3SSYQMRSYH","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"VU3BPG3S","created_at":"2026-05-18T12:26:44Z"}],"graph_snapshots":[{"event_id":"sha256:4df1304ec1e53f7ab98111bcc1eb448c3429bc4c539e35f57428c346ae319375","target":"graph","created_at":"2026-05-18T04:20:05Z","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":"When scripts in untyped languages grow into large programs, maintaining them becomes difficult. A lack of explicit type annotations in typical scripting languages forces programmers to must (re)discover critical pieces of design information every time they wish to change a program. This analysis step both slows down the maintenance process and may even introduce mistakes due to the violation of undiscovered invariants.\n  This paper presents Typed Scheme, an explicitly typed extension of PLT Scheme, an untyped scripting language. Its type system is based on the novel notion of occurrence typing","authors_text":"Matthias Felleisen, Sam Tobin-Hochstadt","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-13T23:41:05Z","title":"The Design and Implementation of Typed Scheme: From Scripts to Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1106.2575","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:9d052f67e63df7af3c4893ae3f863039c675bb679c07b80d6b9d32fbfb253031","target":"record","created_at":"2026-05-18T04:20:05Z","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":"e7a5f5c2fee71c350295cbd991a93c39c4e78443eb94399917d372d35286f74a","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-06-13T23:41:05Z","title_canon_sha256":"cec0bb75e54c6938dde9de3a7d12908e12af26d5a7bf1ead439038f1eecb6ef6"},"schema_version":"1.0","source":{"id":"1106.2575","kind":"arxiv","version":1}},"canonical_sha256":"ad36179b729620c8cb0740fa06963214e53e66451f72f436b53bfb42a18fa79d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ad36179b729620c8cb0740fa06963214e53e66451f72f436b53bfb42a18fa79d","first_computed_at":"2026-05-18T04:20:05.376390Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:20:05.376390Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Yr+xc/C71TJHY1yXYa7ojyhuVlRwNeVN0psCEC9c2GYpksNBNNHJgQtfGwINitC7ipOAToI0wc5p24xmV5M8BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T04:20:05.376934Z","signed_message":"canonical_sha256_bytes"},"source_id":"1106.2575","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9d052f67e63df7af3c4893ae3f863039c675bb679c07b80d6b9d32fbfb253031","sha256:4df1304ec1e53f7ab98111bcc1eb448c3429bc4c539e35f57428c346ae319375"],"state_sha256":"0493fa56928942054b89d324c5360eb9dada65d4bd96f30534710bd7ccaec931"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"UQNWh8DQZR6kGb4Z/Tu/aBHabzEEPBdARTMMctiN4Ml/9txXt+xQwrEbKlOI746xVhMniGr2Y0wstgo2Ook9BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T01:00:46.550092Z","bundle_sha256":"5f56323c3f253711c1803391a7a38b3c9a74e1725f0198e2dd063b0713700d89"}}