{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:HGFOEGFENQV56636YM7JTQR7CX","short_pith_number":"pith:HGFOEGFE","canonical_record":{"source":{"id":"1112.3784","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-12-16T12:25:12Z","cross_cats_sorted":[],"title_canon_sha256":"cfffefb734339984f27116aafe8564fcada8c66bdcb933c10ca28e558deeaaa4","abstract_canon_sha256":"b3c38f2b54e826885de190a1ef7af0d0d15d57f746e9cb40c5a3355611411c3f"},"schema_version":"1.0"},"canonical_sha256":"398ae218a46c2bdf7b7ec33e99c23f15c342a218de98d0bb57deba3740c38620","source":{"kind":"arxiv","id":"1112.3784","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1112.3784","created_at":"2026-05-18T04:06:08Z"},{"alias_kind":"arxiv_version","alias_value":"1112.3784v1","created_at":"2026-05-18T04:06:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.3784","created_at":"2026-05-18T04:06:08Z"},{"alias_kind":"pith_short_12","alias_value":"HGFOEGFENQV5","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_16","alias_value":"HGFOEGFENQV56636","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_8","alias_value":"HGFOEGFE","created_at":"2026-05-18T12:26:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:HGFOEGFENQV56636YM7JTQR7CX","target":"record","payload":{"canonical_record":{"source":{"id":"1112.3784","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-12-16T12:25:12Z","cross_cats_sorted":[],"title_canon_sha256":"cfffefb734339984f27116aafe8564fcada8c66bdcb933c10ca28e558deeaaa4","abstract_canon_sha256":"b3c38f2b54e826885de190a1ef7af0d0d15d57f746e9cb40c5a3355611411c3f"},"schema_version":"1.0"},"canonical_sha256":"398ae218a46c2bdf7b7ec33e99c23f15c342a218de98d0bb57deba3740c38620","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:06:08.786861Z","signature_b64":"x40kjNL7offP2TZnfmOp6Xj/rxerMkdFEqcqklZacWVjOsoHmnq0FDUU3tC90AQUOPQrwnhEGq5CcQtp83GMDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"398ae218a46c2bdf7b7ec33e99c23f15c342a218de98d0bb57deba3740c38620","last_reissued_at":"2026-05-18T04:06:08.786441Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:06:08.786441Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1112.3784","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:06:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zdl6X7KTvevPsZRm0pTZcQolB6GImnS6t8KeBCYhKJR7B76wm8zHKaVfiDg8AfoS0eRyDJnX/+L8UVSTiHDDAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T11:02:52.193743Z"},"content_sha256":"ba5635f02d6ef5d55584704f7e4ebd32761ba18cd5c6f62f8ea7bb5895a4bf7c","schema_version":"1.0","event_id":"sha256:ba5635f02d6ef5d55584704f7e4ebd32761ba18cd5c6f62f8ea7bb5895a4bf7c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:HGFOEGFENQV56636YM7JTQR7CX","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"J\\'anos Csorba, P\\'eter Szeredi, Zsolt Zombori","submitted_at":"2011-12-16T12:25:12Z","abstract_excerpt":"We describe an application of Prolog: a type checking tool for the Q functional language. Q is a terse vector processing language, a descendant of APL, which is getting more and more popular, especially in financial applications. Q is a dynamically typed language, much like Prolog. Extending Q with static typing improves both the readability of programs and programmer productivity, as type errors are discovered by the tool at compile time, rather than through debugging the program execution.\n  The type checker uses constraints that are handled by Prolog Constraint Handling Rules. During the an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.3784","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:06:08Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Y4nurW0fUtusfc53992avr/Lohnks1lTOe+0dgPfcPQtiPN0jMKnrq2i4ZZahpKWUgw1Q4iFrEX6TqvaNpc0DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T11:02:52.194088Z"},"content_sha256":"b8d0c9ac722e642413a260e14eaa5ed430dda80d5d185d1637a0edfa2d9293ef","schema_version":"1.0","event_id":"sha256:b8d0c9ac722e642413a260e14eaa5ed430dda80d5d185d1637a0edfa2d9293ef"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HGFOEGFENQV56636YM7JTQR7CX/bundle.json","state_url":"https://pith.science/pith/HGFOEGFENQV56636YM7JTQR7CX/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HGFOEGFENQV56636YM7JTQR7CX/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-11T11:02:52Z","links":{"resolver":"https://pith.science/pith/HGFOEGFENQV56636YM7JTQR7CX","bundle":"https://pith.science/pith/HGFOEGFENQV56636YM7JTQR7CX/bundle.json","state":"https://pith.science/pith/HGFOEGFENQV56636YM7JTQR7CX/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HGFOEGFENQV56636YM7JTQR7CX/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:HGFOEGFENQV56636YM7JTQR7CX","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":"b3c38f2b54e826885de190a1ef7af0d0d15d57f746e9cb40c5a3355611411c3f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-12-16T12:25:12Z","title_canon_sha256":"cfffefb734339984f27116aafe8564fcada8c66bdcb933c10ca28e558deeaaa4"},"schema_version":"1.0","source":{"id":"1112.3784","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1112.3784","created_at":"2026-05-18T04:06:08Z"},{"alias_kind":"arxiv_version","alias_value":"1112.3784v1","created_at":"2026-05-18T04:06:08Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1112.3784","created_at":"2026-05-18T04:06:08Z"},{"alias_kind":"pith_short_12","alias_value":"HGFOEGFENQV5","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_16","alias_value":"HGFOEGFENQV56636","created_at":"2026-05-18T12:26:30Z"},{"alias_kind":"pith_short_8","alias_value":"HGFOEGFE","created_at":"2026-05-18T12:26:30Z"}],"graph_snapshots":[{"event_id":"sha256:b8d0c9ac722e642413a260e14eaa5ed430dda80d5d185d1637a0edfa2d9293ef","target":"graph","created_at":"2026-05-18T04:06:08Z","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":"We describe an application of Prolog: a type checking tool for the Q functional language. Q is a terse vector processing language, a descendant of APL, which is getting more and more popular, especially in financial applications. Q is a dynamically typed language, much like Prolog. Extending Q with static typing improves both the readability of programs and programmer productivity, as type errors are discovered by the tool at compile time, rather than through debugging the program execution.\n  The type checker uses constraints that are handled by Prolog Constraint Handling Rules. During the an","authors_text":"J\\'anos Csorba, P\\'eter Szeredi, Zsolt Zombori","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-12-16T12:25:12Z","title":"Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1112.3784","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:ba5635f02d6ef5d55584704f7e4ebd32761ba18cd5c6f62f8ea7bb5895a4bf7c","target":"record","created_at":"2026-05-18T04:06:08Z","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":"b3c38f2b54e826885de190a1ef7af0d0d15d57f746e9cb40c5a3355611411c3f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2011-12-16T12:25:12Z","title_canon_sha256":"cfffefb734339984f27116aafe8564fcada8c66bdcb933c10ca28e558deeaaa4"},"schema_version":"1.0","source":{"id":"1112.3784","kind":"arxiv","version":1}},"canonical_sha256":"398ae218a46c2bdf7b7ec33e99c23f15c342a218de98d0bb57deba3740c38620","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"398ae218a46c2bdf7b7ec33e99c23f15c342a218de98d0bb57deba3740c38620","first_computed_at":"2026-05-18T04:06:08.786441Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:06:08.786441Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"x40kjNL7offP2TZnfmOp6Xj/rxerMkdFEqcqklZacWVjOsoHmnq0FDUU3tC90AQUOPQrwnhEGq5CcQtp83GMDg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:06:08.786861Z","signed_message":"canonical_sha256_bytes"},"source_id":"1112.3784","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ba5635f02d6ef5d55584704f7e4ebd32761ba18cd5c6f62f8ea7bb5895a4bf7c","sha256:b8d0c9ac722e642413a260e14eaa5ed430dda80d5d185d1637a0edfa2d9293ef"],"state_sha256":"287b79503cf5ccbb42eea57173e4e931f8bdf38c8d68d276d0500eef8faa3ad4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ByIt+0k7cSNmuY4mLmXRUSu6TIrLQRP7auPMCyflCa6Pn30SX1PzyTZQwUg2yA3EWSr8Bf5r3vQHK3WfBv93BA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T11:02:52.196704Z","bundle_sha256":"99561dd0a37e233f503c1299f2da9eaddf477bff6fdcf3404fec388ef037bc2f"}}