{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:S53WJMNAXNYDFNLEZCED4D6CPK","short_pith_number":"pith:S53WJMNA","schema_version":"1.0","canonical_sha256":"977764b1a0bb7032b564c8883e0fc27aa4d56500c61b469646b224ed9160f097","source":{"kind":"arxiv","id":"1608.07261","version":3},"attestation_state":"computed","paper":{"title":"Type Inference for Static Compilation of JavaScript (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Cole Schlesinger, Colin S. Gordon, Frank Tip, Jean-Baptiste Jeannin, Manu Sridharan, Satish Chandra, Youngil Choi","submitted_at":"2016-08-25T19:26:22Z","abstract_excerpt":"We present a type system and inference algorithm for a rich subset of JavaScript equipped with objects, structural subtyping, prototype inheritance, and first-class methods. The type system supports abstract and recursive objects, and is expressive enough to accommodate several standard benchmarks with only minor workarounds. The invariants enforced by the types enable an ahead-of-time compiler to carry out optimizations typically beyond the reach of static compilers for dynamic languages. Unlike previous inference techniques for prototype inheritance, our algorithm uses a combination of lower"},"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":"1608.07261","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-08-25T19:26:22Z","cross_cats_sorted":[],"title_canon_sha256":"65a3c17868d61032e7f730547301a28c0e5a54462045e96c71fcc1f71a8b740e","abstract_canon_sha256":"6d0bc9649474c26e618729ec1533452e98cc1d4c147e0b2edc43d0445294e77c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:01:59.998266Z","signature_b64":"4NifILaWFtF6xQgWElXQ8pvhVmFURitvIA0uHUgi8cDVi2UEihnuemWwY/NUo0NhGiKnV2QRyL+9emsjueGDDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"977764b1a0bb7032b564c8883e0fc27aa4d56500c61b469646b224ed9160f097","last_reissued_at":"2026-05-18T01:01:59.997784Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:01:59.997784Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Type Inference for Static Compilation of JavaScript (Extended Version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Cole Schlesinger, Colin S. Gordon, Frank Tip, Jean-Baptiste Jeannin, Manu Sridharan, Satish Chandra, Youngil Choi","submitted_at":"2016-08-25T19:26:22Z","abstract_excerpt":"We present a type system and inference algorithm for a rich subset of JavaScript equipped with objects, structural subtyping, prototype inheritance, and first-class methods. The type system supports abstract and recursive objects, and is expressive enough to accommodate several standard benchmarks with only minor workarounds. The invariants enforced by the types enable an ahead-of-time compiler to carry out optimizations typically beyond the reach of static compilers for dynamic languages. Unlike previous inference techniques for prototype inheritance, our algorithm uses a combination of lower"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1608.07261","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":""},"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":"1608.07261","created_at":"2026-05-18T01:01:59.997869+00:00"},{"alias_kind":"arxiv_version","alias_value":"1608.07261v3","created_at":"2026-05-18T01:01:59.997869+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1608.07261","created_at":"2026-05-18T01:01:59.997869+00:00"},{"alias_kind":"pith_short_12","alias_value":"S53WJMNAXNYD","created_at":"2026-05-18T12:30:41.710351+00:00"},{"alias_kind":"pith_short_16","alias_value":"S53WJMNAXNYDFNLE","created_at":"2026-05-18T12:30:41.710351+00:00"},{"alias_kind":"pith_short_8","alias_value":"S53WJMNA","created_at":"2026-05-18T12:30:41.710351+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/S53WJMNAXNYDFNLEZCED4D6CPK","json":"https://pith.science/pith/S53WJMNAXNYDFNLEZCED4D6CPK.json","graph_json":"https://pith.science/api/pith-number/S53WJMNAXNYDFNLEZCED4D6CPK/graph.json","events_json":"https://pith.science/api/pith-number/S53WJMNAXNYDFNLEZCED4D6CPK/events.json","paper":"https://pith.science/paper/S53WJMNA"},"agent_actions":{"view_html":"https://pith.science/pith/S53WJMNAXNYDFNLEZCED4D6CPK","download_json":"https://pith.science/pith/S53WJMNAXNYDFNLEZCED4D6CPK.json","view_paper":"https://pith.science/paper/S53WJMNA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1608.07261&json=true","fetch_graph":"https://pith.science/api/pith-number/S53WJMNAXNYDFNLEZCED4D6CPK/graph.json","fetch_events":"https://pith.science/api/pith-number/S53WJMNAXNYDFNLEZCED4D6CPK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/S53WJMNAXNYDFNLEZCED4D6CPK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/S53WJMNAXNYDFNLEZCED4D6CPK/action/storage_attestation","attest_author":"https://pith.science/pith/S53WJMNAXNYDFNLEZCED4D6CPK/action/author_attestation","sign_citation":"https://pith.science/pith/S53WJMNAXNYDFNLEZCED4D6CPK/action/citation_signature","submit_replication":"https://pith.science/pith/S53WJMNAXNYDFNLEZCED4D6CPK/action/replication_record"}},"created_at":"2026-05-18T01:01:59.997869+00:00","updated_at":"2026-05-18T01:01:59.997869+00:00"}