{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:QNEFC62MHZ3QH7AKD23WBLNBWW","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":"d48d8f60935a819d267940527715bd5ba1a72faff83234759f02a014bdc86f62","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-07-02T21:42:02Z","title_canon_sha256":"1f4e30553bcd71de7d00162a9127dc7e42a132c548cd120325272a8bf97e4d47"},"schema_version":"1.0","source":{"id":"1407.0729","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.0729","created_at":"2026-05-18T02:39:55Z"},{"alias_kind":"arxiv_version","alias_value":"1407.0729v6","created_at":"2026-05-18T02:39:55Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.0729","created_at":"2026-05-18T02:39:55Z"},{"alias_kind":"pith_short_12","alias_value":"QNEFC62MHZ3Q","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"QNEFC62MHZ3QH7AK","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"QNEFC62M","created_at":"2026-05-18T12:28:46Z"}],"graph_snapshots":[{"event_id":"sha256:df1a2fc23f30cf7bda64ea51361ab27e507591697a266cbb2257e54b4241fff0","target":"graph","created_at":"2026-05-18T02:39:55Z","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":"This paper proposes a pattern-matching system that enables non-linear pattern-matching against unfree data types. The system allows multiple occurrences of the same variables in a pattern, multiple results of pattern-matching and modularization of the way of pattern-matching for each data type at the same time. It enables us to represent pattern-matching against not only algebraic data types but also unfree data types such as sets, graphs and any other data types whose data have no canonical form and multiple ways of decomposition. I have realized that with a rule that pattern-matching is exec","authors_text":"Satoshi Egi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-07-02T21:42:02Z","title":"Non-Linear Pattern-Matching against Unfree Data Types with Lexical Scoping"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.0729","kind":"arxiv","version":6},"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:773427055785ee5a9ae6ab3ec36a0253542605ec025af5caf156071c62a036b5","target":"record","created_at":"2026-05-18T02:39:55Z","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":"d48d8f60935a819d267940527715bd5ba1a72faff83234759f02a014bdc86f62","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-07-02T21:42:02Z","title_canon_sha256":"1f4e30553bcd71de7d00162a9127dc7e42a132c548cd120325272a8bf97e4d47"},"schema_version":"1.0","source":{"id":"1407.0729","kind":"arxiv","version":6}},"canonical_sha256":"8348517b4c3e7703fc0a1eb760ada1b5be87b050dc67a015aaca66b8191cebdf","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8348517b4c3e7703fc0a1eb760ada1b5be87b050dc67a015aaca66b8191cebdf","first_computed_at":"2026-05-18T02:39:55.444953Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:39:55.444953Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rb/2YK5f5mS1/3jotNES2aeL/KgCIemKn+9S9e/yAAhwfsKseohGKE4HZ65rYKOGZqvnT1wlYr48YTvdsaJMCw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:39:55.445447Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.0729","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:773427055785ee5a9ae6ab3ec36a0253542605ec025af5caf156071c62a036b5","sha256:df1a2fc23f30cf7bda64ea51361ab27e507591697a266cbb2257e54b4241fff0"],"state_sha256":"bc5d9a7a64d6346f16d1a6fd6c22dfda5b0a13bb1962a9ffc4540082b236faaf"}