{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:BLZOXMSWCT2O3YKZDFOGTNMZR5","short_pith_number":"pith:BLZOXMSW","schema_version":"1.0","canonical_sha256":"0af2ebb25614f4ede159195c69b5998f593a3c196a9ac014fe002530e744b089","source":{"kind":"arxiv","id":"1805.06798","version":1},"attestation_state":"computed","paper":{"title":"Generic Deriving of Generic Traversals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Csongor Kiss, Matthew Pickering, Nicolas Wu","submitted_at":"2018-05-17T14:25:52Z","abstract_excerpt":"Functional programmers have an established tradition of using traversals as a design pattern to work with recursive data structures. The technique is so prolific that a whole host of libraries have been designed to help in the task of automatically providing traversals by analysing the generic structure of data types. More recently, lenses have entered the functional scene and have proved themselves to be a simple and versatile mechanism for working with product types. They make it easy to focus on the salient parts of a data structure in a composable and reusable manner.\n  In this paper, we u"},"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.06798","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-05-17T14:25:52Z","cross_cats_sorted":[],"title_canon_sha256":"c71017a196c2cd5deba87ede2f3b91c629eae27e3eec9cb514a1b20374b627bf","abstract_canon_sha256":"b05a8347c2c0ada428b28b456d486ff2da89a9caad71d8010808df1bbca0113e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:15:43.314973Z","signature_b64":"J4p49hmuNyBpddL8ggoQV8JxbGwxAD0XXf9Nz6yaaYVyZnfH5pG36fyY1MPmDCLQ9jy4ftPjTnVgwCf8cvkfAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0af2ebb25614f4ede159195c69b5998f593a3c196a9ac014fe002530e744b089","last_reissued_at":"2026-05-18T00:15:43.314487Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:15:43.314487Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Generic Deriving of Generic Traversals","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Csongor Kiss, Matthew Pickering, Nicolas Wu","submitted_at":"2018-05-17T14:25:52Z","abstract_excerpt":"Functional programmers have an established tradition of using traversals as a design pattern to work with recursive data structures. The technique is so prolific that a whole host of libraries have been designed to help in the task of automatically providing traversals by analysing the generic structure of data types. More recently, lenses have entered the functional scene and have proved themselves to be a simple and versatile mechanism for working with product types. They make it easy to focus on the salient parts of a data structure in a composable and reusable manner.\n  In this paper, we u"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1805.06798","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1805.06798","created_at":"2026-05-18T00:15:43.314554+00:00"},{"alias_kind":"arxiv_version","alias_value":"1805.06798v1","created_at":"2026-05-18T00:15:43.314554+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1805.06798","created_at":"2026-05-18T00:15:43.314554+00:00"},{"alias_kind":"pith_short_12","alias_value":"BLZOXMSWCT2O","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_16","alias_value":"BLZOXMSWCT2O3YKZ","created_at":"2026-05-18T12:32:16.446611+00:00"},{"alias_kind":"pith_short_8","alias_value":"BLZOXMSW","created_at":"2026-05-18T12:32:16.446611+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/BLZOXMSWCT2O3YKZDFOGTNMZR5","json":"https://pith.science/pith/BLZOXMSWCT2O3YKZDFOGTNMZR5.json","graph_json":"https://pith.science/api/pith-number/BLZOXMSWCT2O3YKZDFOGTNMZR5/graph.json","events_json":"https://pith.science/api/pith-number/BLZOXMSWCT2O3YKZDFOGTNMZR5/events.json","paper":"https://pith.science/paper/BLZOXMSW"},"agent_actions":{"view_html":"https://pith.science/pith/BLZOXMSWCT2O3YKZDFOGTNMZR5","download_json":"https://pith.science/pith/BLZOXMSWCT2O3YKZDFOGTNMZR5.json","view_paper":"https://pith.science/paper/BLZOXMSW","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1805.06798&json=true","fetch_graph":"https://pith.science/api/pith-number/BLZOXMSWCT2O3YKZDFOGTNMZR5/graph.json","fetch_events":"https://pith.science/api/pith-number/BLZOXMSWCT2O3YKZDFOGTNMZR5/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/BLZOXMSWCT2O3YKZDFOGTNMZR5/action/timestamp_anchor","attest_storage":"https://pith.science/pith/BLZOXMSWCT2O3YKZDFOGTNMZR5/action/storage_attestation","attest_author":"https://pith.science/pith/BLZOXMSWCT2O3YKZDFOGTNMZR5/action/author_attestation","sign_citation":"https://pith.science/pith/BLZOXMSWCT2O3YKZDFOGTNMZR5/action/citation_signature","submit_replication":"https://pith.science/pith/BLZOXMSWCT2O3YKZDFOGTNMZR5/action/replication_record"}},"created_at":"2026-05-18T00:15:43.314554+00:00","updated_at":"2026-05-18T00:15:43.314554+00:00"}