{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:YTZWHQOR7B7SH2HONMW27PWC3B","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":"e46d7367334d022f53f5b1783d4de071d07faa12ab034802c3f3083f7e0c7a34","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-31T06:08:55Z","title_canon_sha256":"1eef0762a4b288ebaa481b245dd303a0cbf4e822ed9fab63b0aa797c9d97fd94"},"schema_version":"1.0","source":{"id":"1808.10603","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1808.10603","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"arxiv_version","alias_value":"1808.10603v2","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1808.10603","created_at":"2026-05-17T23:45:04Z"},{"alias_kind":"pith_short_12","alias_value":"YTZWHQOR7B7S","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_16","alias_value":"YTZWHQOR7B7SH2HO","created_at":"2026-05-18T12:33:04Z"},{"alias_kind":"pith_short_8","alias_value":"YTZWHQOR","created_at":"2026-05-18T12:33:04Z"}],"graph_snapshots":[{"event_id":"sha256:4ea73dc6b99a75148d2b6e64b418097c8c34504ee6972313ed26139374ada838","target":"graph","created_at":"2026-05-17T23:45:04Z","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":"Non-free data types are data types whose data have no canonical forms. For example, multisets are non-free data types because the multiset $\\{a,b,b\\}$ has two other equivalent but literally different forms $\\{b,a,b\\}$ and $\\{b,b,a\\}$. Pattern matching is known to provide a handy tool set to treat such data types. Although many studies on pattern matching and implementations for practical programming languages have been proposed so far, we observe that none of these studies satisfy all the criteria of practical pattern matching, which are as follows: i) efficiency of the backtracking algorithm ","authors_text":"Satoshi Egi, Yuichi Nishiwaki","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-31T06:08:55Z","title":"Non-linear Pattern Matching with Backtracking for Non-free Data Types"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1808.10603","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:83c251cd187d4a043f85bdf6819bc097077cb4f4be67f8198124d64bef13d183","target":"record","created_at":"2026-05-17T23:45:04Z","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":"e46d7367334d022f53f5b1783d4de071d07faa12ab034802c3f3083f7e0c7a34","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-08-31T06:08:55Z","title_canon_sha256":"1eef0762a4b288ebaa481b245dd303a0cbf4e822ed9fab63b0aa797c9d97fd94"},"schema_version":"1.0","source":{"id":"1808.10603","kind":"arxiv","version":2}},"canonical_sha256":"c4f363c1d1f87f23e8ee6b2dafbec2d855d44489ed99b3f88e281cf0ee7ce562","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c4f363c1d1f87f23e8ee6b2dafbec2d855d44489ed99b3f88e281cf0ee7ce562","first_computed_at":"2026-05-17T23:45:04.517032Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:45:04.517032Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kIKfHmIX0KjObLtvDRual8VfA/uj23pl0k4+Bi3qPX6oF/6uMRfijUBdtOje6lQ96BehkSYrlcYIN6GmMYp1Bw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:45:04.517656Z","signed_message":"canonical_sha256_bytes"},"source_id":"1808.10603","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:83c251cd187d4a043f85bdf6819bc097077cb4f4be67f8198124d64bef13d183","sha256:4ea73dc6b99a75148d2b6e64b418097c8c34504ee6972313ed26139374ada838"],"state_sha256":"ae3b7e17a2c8647e568d6f99b94cd3cf7a1986b5f3a672a5fe99fee153ae148c"}