{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:JHX3PDB2YPH7FLKPFOVHJ4ZHL5","short_pith_number":"pith:JHX3PDB2","schema_version":"1.0","canonical_sha256":"49efb78c3ac3cff2ad4f2baa74f3275f73441f6d89ec50840c5eb09f9ebbf59d","source":{"kind":"arxiv","id":"1805.10931","version":3},"attestation_state":"computed","paper":{"title":"Towards Taming Java Wildcards and Extending Java with Interval Types","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Moez A. AbdelGawad","submitted_at":"2018-05-18T11:49:39Z","abstract_excerpt":"Of the complex features of generic nominally-typed OO type systems, wildcard types and variance annotations are probably the hardest to fully grasp. As demonstrated when adding closures (a.k.a., lambdas) and when extending type inference in Java, wildcard types and variance annotations make the development and progress of OO programming languages, and of their type systems in particular, a challenging and delicate task.\n  In this work we build on our concurrent work, in which we model Java subtyping using a partial graph product, to suggest how wildcard types in Java can be generalized, and si"},"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":"1805.10931","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-18T11:49:39Z","cross_cats_sorted":[],"title_canon_sha256":"024657ecb492076f7aeba17abfa129676ea7ca78c70630a2b950f5d04a4df6c1","abstract_canon_sha256":"82e965f546469ff99982683ab7f79d8058b4f423a5013617b6acbc8d0189a35a"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:44.456703Z","signature_b64":"vN5TYfMMqy89x/EOWySB+kgc2TxgdStTzWQ6UD/wfd0erzcVWy9E1kGoqosL+tD57g17BmehO6FAMy0pCsdeBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"49efb78c3ac3cff2ad4f2baa74f3275f73441f6d89ec50840c5eb09f9ebbf59d","last_reissued_at":"2026-05-18T00:10:44.456126Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:44.456126Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Towards Taming Java Wildcards and Extending Java with Interval Types","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Moez A. AbdelGawad","submitted_at":"2018-05-18T11:49:39Z","abstract_excerpt":"Of the complex features of generic nominally-typed OO type systems, wildcard types and variance annotations are probably the hardest to fully grasp. As demonstrated when adding closures (a.k.a., lambdas) and when extending type inference in Java, wildcard types and variance annotations make the development and progress of OO programming languages, and of their type systems in particular, a challenging and delicate task.\n  In this work we build on our concurrent work, in which we model Java subtyping using a partial graph product, to suggest how wildcard types in Java can be generalized, and si"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.10931","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":"1805.10931","created_at":"2026-05-18T00:10:44.456221+00:00"},{"alias_kind":"arxiv_version","alias_value":"1805.10931v3","created_at":"2026-05-18T00:10:44.456221+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.10931","created_at":"2026-05-18T00:10:44.456221+00:00"},{"alias_kind":"pith_short_12","alias_value":"JHX3PDB2YPH7","created_at":"2026-05-18T12:32:31.084164+00:00"},{"alias_kind":"pith_short_16","alias_value":"JHX3PDB2YPH7FLKP","created_at":"2026-05-18T12:32:31.084164+00:00"},{"alias_kind":"pith_short_8","alias_value":"JHX3PDB2","created_at":"2026-05-18T12:32:31.084164+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"1906.11197","citing_title":"Java Generics: An Order-Theoretic Approach (Abridged Outline)","ref_index":12,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/JHX3PDB2YPH7FLKPFOVHJ4ZHL5","json":"https://pith.science/pith/JHX3PDB2YPH7FLKPFOVHJ4ZHL5.json","graph_json":"https://pith.science/api/pith-number/JHX3PDB2YPH7FLKPFOVHJ4ZHL5/graph.json","events_json":"https://pith.science/api/pith-number/JHX3PDB2YPH7FLKPFOVHJ4ZHL5/events.json","paper":"https://pith.science/paper/JHX3PDB2"},"agent_actions":{"view_html":"https://pith.science/pith/JHX3PDB2YPH7FLKPFOVHJ4ZHL5","download_json":"https://pith.science/pith/JHX3PDB2YPH7FLKPFOVHJ4ZHL5.json","view_paper":"https://pith.science/paper/JHX3PDB2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1805.10931&json=true","fetch_graph":"https://pith.science/api/pith-number/JHX3PDB2YPH7FLKPFOVHJ4ZHL5/graph.json","fetch_events":"https://pith.science/api/pith-number/JHX3PDB2YPH7FLKPFOVHJ4ZHL5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/JHX3PDB2YPH7FLKPFOVHJ4ZHL5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/JHX3PDB2YPH7FLKPFOVHJ4ZHL5/action/storage_attestation","attest_author":"https://pith.science/pith/JHX3PDB2YPH7FLKPFOVHJ4ZHL5/action/author_attestation","sign_citation":"https://pith.science/pith/JHX3PDB2YPH7FLKPFOVHJ4ZHL5/action/citation_signature","submit_replication":"https://pith.science/pith/JHX3PDB2YPH7FLKPFOVHJ4ZHL5/action/replication_record"}},"created_at":"2026-05-18T00:10:44.456221+00:00","updated_at":"2026-05-18T00:10:44.456221+00:00"}