{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:LSQTHCNGJQ24Y6SULGKAAUUA44","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":"b2e5ebeb7e4c3eaa5c5a937578d227688f727e9d478b5164806c0d981f287ea2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-03-06T01:26:58Z","title_canon_sha256":"acd6dd8146e04638dec437d627bfe096ef745009be84ad2f0db9e26868c2787e"},"schema_version":"1.0","source":{"id":"2503.04001","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2503.04001","created_at":"2026-07-05T10:25:26Z"},{"alias_kind":"arxiv_version","alias_value":"2503.04001v1","created_at":"2026-07-05T10:25:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2503.04001","created_at":"2026-07-05T10:25:26Z"},{"alias_kind":"pith_short_12","alias_value":"LSQTHCNGJQ24","created_at":"2026-07-05T10:25:26Z"},{"alias_kind":"pith_short_16","alias_value":"LSQTHCNGJQ24Y6SU","created_at":"2026-07-05T10:25:26Z"},{"alias_kind":"pith_short_8","alias_value":"LSQTHCNG","created_at":"2026-07-05T10:25:26Z"}],"graph_snapshots":[{"event_id":"sha256:fd1d73d9ba902e755381826718b2189b7f8fb7b62ad63d533d18078ef9bf9d38","target":"graph","created_at":"2026-07-05T10:25:26Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2503.04001/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We reconstruct some of the development in Richard Bird's [2008] paper Zippy Tabulations of Recursive Functions, using dependent types and string diagrams rather than mere simple types. This paper serves as an intuitive introduction to and demonstration of these concepts for the curious functional programmer, who ideally already has some exposure to dependent types and category theory, is not put off by basic concepts like indexed types and functors, and wants to see a more practical example.\n  The paper is presented in the form of a short story, narrated from the perspective of a functional pr","authors_text":"Hsiang-Shang Ko, Jeremy Gibbons, Shin-Cheng Mu","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-03-06T01:26:58Z","title":"Binomial Tabulation: A Short Story"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2503.04001","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:e140b05b7a95ff58b05589815e68d89b70707ee8bb8324a3dbc4f2adb07c9970","target":"record","created_at":"2026-07-05T10:25:26Z","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":"b2e5ebeb7e4c3eaa5c5a937578d227688f727e9d478b5164806c0d981f287ea2","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2025-03-06T01:26:58Z","title_canon_sha256":"acd6dd8146e04638dec437d627bfe096ef745009be84ad2f0db9e26868c2787e"},"schema_version":"1.0","source":{"id":"2503.04001","kind":"arxiv","version":1}},"canonical_sha256":"5ca13389a64c35cc7a545994005280e73d8830b6bbc2723df1087d2c4c231614","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5ca13389a64c35cc7a545994005280e73d8830b6bbc2723df1087d2c4c231614","first_computed_at":"2026-07-05T10:25:26.327385Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:25:26.327385Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rKDiDDx6YiC1BkJ2SQxjoszuaf2GK0gDWQFN+6u22n60X2y9igAlHr20qAv5b+8i/h4QY53vaa8qG4plRmCJDg==","signature_status":"signed_v1","signed_at":"2026-07-05T10:25:26.328395Z","signed_message":"canonical_sha256_bytes"},"source_id":"2503.04001","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e140b05b7a95ff58b05589815e68d89b70707ee8bb8324a3dbc4f2adb07c9970","sha256:fd1d73d9ba902e755381826718b2189b7f8fb7b62ad63d533d18078ef9bf9d38"],"state_sha256":"93d5732a0c797bdf06cfb40393a568c4f4a2e997742b6dfe36310ec094b083a0"}