{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:FZMNR4TK7LLQLQXEHN5EDYUAAJ","short_pith_number":"pith:FZMNR4TK","canonical_record":{"source":{"id":"1108.5609","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-29T15:38:31Z","cross_cats_sorted":[],"title_canon_sha256":"8aabc76f5941a975ae94b47f76d6b94cb2152c35fe1908f714acd05092aaf36f","abstract_canon_sha256":"387a8ba711597f06d2becc3bad65c8646be30cd08faee0e8ebbc5f1429eaa806"},"schema_version":"1.0"},"canonical_sha256":"2e58d8f26afad705c2e43b7a41e28002550e3e2f94c0d731b1b021c22794fc7c","source":{"kind":"arxiv","id":"1108.5609","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.5609","created_at":"2026-05-18T04:14:37Z"},{"alias_kind":"arxiv_version","alias_value":"1108.5609v1","created_at":"2026-05-18T04:14:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.5609","created_at":"2026-05-18T04:14:37Z"},{"alias_kind":"pith_short_12","alias_value":"FZMNR4TK7LLQ","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"FZMNR4TK7LLQLQXE","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"FZMNR4TK","created_at":"2026-05-18T12:26:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:FZMNR4TK7LLQLQXEHN5EDYUAAJ","target":"record","payload":{"canonical_record":{"source":{"id":"1108.5609","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-29T15:38:31Z","cross_cats_sorted":[],"title_canon_sha256":"8aabc76f5941a975ae94b47f76d6b94cb2152c35fe1908f714acd05092aaf36f","abstract_canon_sha256":"387a8ba711597f06d2becc3bad65c8646be30cd08faee0e8ebbc5f1429eaa806"},"schema_version":"1.0"},"canonical_sha256":"2e58d8f26afad705c2e43b7a41e28002550e3e2f94c0d731b1b021c22794fc7c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:14:37.154781Z","signature_b64":"qduQJqdorpyS4n7lWSiYGasYWNg7++sGC+Qx+0f42SNUHDcoVoBNhDbTqLET4MApggbsYmiP3YHigcKnHoXpBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2e58d8f26afad705c2e43b7a41e28002550e3e2f94c0d731b1b021c22794fc7c","last_reissued_at":"2026-05-18T04:14:37.154334Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:14:37.154334Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1108.5609","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:14:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1fRVQGSTtx0WLS5nYDKG04YBR95rFVZ0eNYufoYrRF6w8dxvkq2AwwbhWo74dkTbOW/15Zy45mvYgw3SYgu6Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T16:13:22.849109Z"},"content_sha256":"3c225ec924d4b344b55f49b399bf6b7bd45a51620b91e355502d060f6e0abd91","schema_version":"1.0","event_id":"sha256:3c225ec924d4b344b55f49b399bf6b7bd45a51620b91e355502d060f6e0abd91"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:FZMNR4TK7LLQLQXEHN5EDYUAAJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Implementing Equational Constraints in a Functional Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Bernd Bra{\\ss}el, Bj\\\"orn Peem\\\"oller, Fabian Reck, Michael Hanus","submitted_at":"2011-08-29T15:38:31Z","abstract_excerpt":"KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. The implementation is based on the idea to represent the search space as a data structure and logic variables as operations that generate their values. This has the advantage that one can apply various, and in particular, complete search strategies to compute solutions. However, the generation of all values for logic variables might be inefficient for applications that exploit constraints on partially known values. To overcome this drawback, we propose new techniques"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.5609","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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:14:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/7kc9G8ZVpxgw8nnulxk3IWvKLvj7nHVpVYVhWO3q2fvxxuwauGIbpaDDNWs83ELWIihXB5LkqWNRSsYqx8NCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T16:13:22.849839Z"},"content_sha256":"e654168e72e231c1391f95cb4e06e1f700e88d38b02f4ae85059a8f33a3c0b0a","schema_version":"1.0","event_id":"sha256:e654168e72e231c1391f95cb4e06e1f700e88d38b02f4ae85059a8f33a3c0b0a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FZMNR4TK7LLQLQXEHN5EDYUAAJ/bundle.json","state_url":"https://pith.science/pith/FZMNR4TK7LLQLQXEHN5EDYUAAJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FZMNR4TK7LLQLQXEHN5EDYUAAJ/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-08T16:13:22Z","links":{"resolver":"https://pith.science/pith/FZMNR4TK7LLQLQXEHN5EDYUAAJ","bundle":"https://pith.science/pith/FZMNR4TK7LLQLQXEHN5EDYUAAJ/bundle.json","state":"https://pith.science/pith/FZMNR4TK7LLQLQXEHN5EDYUAAJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FZMNR4TK7LLQLQXEHN5EDYUAAJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:FZMNR4TK7LLQLQXEHN5EDYUAAJ","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":"387a8ba711597f06d2becc3bad65c8646be30cd08faee0e8ebbc5f1429eaa806","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-29T15:38:31Z","title_canon_sha256":"8aabc76f5941a975ae94b47f76d6b94cb2152c35fe1908f714acd05092aaf36f"},"schema_version":"1.0","source":{"id":"1108.5609","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1108.5609","created_at":"2026-05-18T04:14:37Z"},{"alias_kind":"arxiv_version","alias_value":"1108.5609v1","created_at":"2026-05-18T04:14:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1108.5609","created_at":"2026-05-18T04:14:37Z"},{"alias_kind":"pith_short_12","alias_value":"FZMNR4TK7LLQ","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_16","alias_value":"FZMNR4TK7LLQLQXE","created_at":"2026-05-18T12:26:28Z"},{"alias_kind":"pith_short_8","alias_value":"FZMNR4TK","created_at":"2026-05-18T12:26:28Z"}],"graph_snapshots":[{"event_id":"sha256:e654168e72e231c1391f95cb4e06e1f700e88d38b02f4ae85059a8f33a3c0b0a","target":"graph","created_at":"2026-05-18T04:14:37Z","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":"KiCS2 is a new system to compile functional logic programs of the source language Curry into purely functional Haskell programs. The implementation is based on the idea to represent the search space as a data structure and logic variables as operations that generate their values. This has the advantage that one can apply various, and in particular, complete search strategies to compute solutions. However, the generation of all values for logic variables might be inefficient for applications that exploit constraints on partially known values. To overcome this drawback, we propose new techniques","authors_text":"Bernd Bra{\\ss}el, Bj\\\"orn Peem\\\"oller, Fabian Reck, Michael Hanus","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-29T15:38:31Z","title":"Implementing Equational Constraints in a Functional Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1108.5609","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:3c225ec924d4b344b55f49b399bf6b7bd45a51620b91e355502d060f6e0abd91","target":"record","created_at":"2026-05-18T04:14:37Z","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":"387a8ba711597f06d2becc3bad65c8646be30cd08faee0e8ebbc5f1429eaa806","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-08-29T15:38:31Z","title_canon_sha256":"8aabc76f5941a975ae94b47f76d6b94cb2152c35fe1908f714acd05092aaf36f"},"schema_version":"1.0","source":{"id":"1108.5609","kind":"arxiv","version":1}},"canonical_sha256":"2e58d8f26afad705c2e43b7a41e28002550e3e2f94c0d731b1b021c22794fc7c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2e58d8f26afad705c2e43b7a41e28002550e3e2f94c0d731b1b021c22794fc7c","first_computed_at":"2026-05-18T04:14:37.154334Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:14:37.154334Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qduQJqdorpyS4n7lWSiYGasYWNg7++sGC+Qx+0f42SNUHDcoVoBNhDbTqLET4MApggbsYmiP3YHigcKnHoXpBA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:14:37.154781Z","signed_message":"canonical_sha256_bytes"},"source_id":"1108.5609","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3c225ec924d4b344b55f49b399bf6b7bd45a51620b91e355502d060f6e0abd91","sha256:e654168e72e231c1391f95cb4e06e1f700e88d38b02f4ae85059a8f33a3c0b0a"],"state_sha256":"56889bcd5dabc28233823de34612641e0633e54d023bdc46594769bd031d10d9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G9EQjWFHpcdcU6DfgQIEPJvAagXRHreYBceOTNEpjdWVcYSI0FQ9aNr6miZwquINV3+8v9nt4vXL0ufhCKQNAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T16:13:22.853994Z","bundle_sha256":"b5f78948bdab1355fb9cfd0fdd56166f6b4c845120cf6e690a867fcc0e955e1a"}}