{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:YY76E56QAH6S6UVPXHDDFG2ZPY","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":"7155d768951303fa1ffe2659a62e35605a03845142a82a3e8583b7701f8f0eb9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-13T15:05:47Z","title_canon_sha256":"a1162a07803a7c7a3ec13d5e4302c27701954e05b3ea9a9bf661d3f3706ea1be"},"schema_version":"1.0","source":{"id":"1510.03726","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.03726","created_at":"2026-05-18T00:47:43Z"},{"alias_kind":"arxiv_version","alias_value":"1510.03726v2","created_at":"2026-05-18T00:47:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.03726","created_at":"2026-05-18T00:47:43Z"},{"alias_kind":"pith_short_12","alias_value":"YY76E56QAH6S","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_16","alias_value":"YY76E56QAH6S6UVP","created_at":"2026-05-18T12:29:52Z"},{"alias_kind":"pith_short_8","alias_value":"YY76E56Q","created_at":"2026-05-18T12:29:52Z"}],"graph_snapshots":[{"event_id":"sha256:df8399f6e5d382bc123b52730e22f7ba81f9bf2a012c9077445e295e69a8d18e","target":"graph","created_at":"2026-05-18T00:47:43Z","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":"Types are an important part of any modern programming language, but we often forget that the concept of type we understand nowadays is not the same it was perceived in the sixties. Moreover, we conflate the concept of \"type\" in programming languages with the concept of the same name in mathematical logic, an identification that is only the result of the convergence of two different paths, which started apart with different aims. The paper will present several remarks (some historical, some of more conceptual character) on the subject, as a basis for a further investigation. The thesis we will ","authors_text":"Simone Martini","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-13T15:05:47Z","title":"Several types of types in programming languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.03726","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:b6b584fd83fd45c4d4f1b7ec333c1f5a9ca5096f9fbb948d028c5c0f36ecf5c9","target":"record","created_at":"2026-05-18T00:47:43Z","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":"7155d768951303fa1ffe2659a62e35605a03845142a82a3e8583b7701f8f0eb9","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-13T15:05:47Z","title_canon_sha256":"a1162a07803a7c7a3ec13d5e4302c27701954e05b3ea9a9bf661d3f3706ea1be"},"schema_version":"1.0","source":{"id":"1510.03726","kind":"arxiv","version":2}},"canonical_sha256":"c63fe277d001fd2f52afb9c6329b597e3a1149028ced3ee2ccd22b1af96b9e2e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c63fe277d001fd2f52afb9c6329b597e3a1149028ced3ee2ccd22b1af96b9e2e","first_computed_at":"2026-05-18T00:47:43.234420Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:47:43.234420Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jgMXYHur7+zipy6DOJ9PEW4eCIUoxeB9+wJ0XarxiZmfpGD42e2JABX/xJaIVeVQmxLON75eCULhkYg6EsysDw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:47:43.234942Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.03726","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b6b584fd83fd45c4d4f1b7ec333c1f5a9ca5096f9fbb948d028c5c0f36ecf5c9","sha256:df8399f6e5d382bc123b52730e22f7ba81f9bf2a012c9077445e295e69a8d18e"],"state_sha256":"75ff19c2b9cb91c35e6ae64f33e2446f09b723eece84461fe5c1054ca1bcfd79"}