{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:CBJIVBXHKCCXPJPKWTVNPC4LNB","short_pith_number":"pith:CBJIVBXH","canonical_record":{"source":{"id":"1802.06571","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-02-19T09:46:39Z","cross_cats_sorted":[],"title_canon_sha256":"03c77deec2b55f5f18d2378187535f1db7235cbdec12077e7a90a5c46b328eb4","abstract_canon_sha256":"5dbb7ed068a4eb3e7eabedbcceace3c2702213e31e05d9e795cb2c7ea2ea547d"},"schema_version":"1.0"},"canonical_sha256":"10528a86e7508577a5eab4ead78b8b6853a4ac2d66cdeca541b5e384de293a37","source":{"kind":"arxiv","id":"1802.06571","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.06571","created_at":"2026-05-18T00:23:02Z"},{"alias_kind":"arxiv_version","alias_value":"1802.06571v1","created_at":"2026-05-18T00:23:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.06571","created_at":"2026-05-18T00:23:02Z"},{"alias_kind":"pith_short_12","alias_value":"CBJIVBXHKCCX","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"CBJIVBXHKCCXPJPK","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"CBJIVBXH","created_at":"2026-05-18T12:32:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:CBJIVBXHKCCXPJPKWTVNPC4LNB","target":"record","payload":{"canonical_record":{"source":{"id":"1802.06571","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-02-19T09:46:39Z","cross_cats_sorted":[],"title_canon_sha256":"03c77deec2b55f5f18d2378187535f1db7235cbdec12077e7a90a5c46b328eb4","abstract_canon_sha256":"5dbb7ed068a4eb3e7eabedbcceace3c2702213e31e05d9e795cb2c7ea2ea547d"},"schema_version":"1.0"},"canonical_sha256":"10528a86e7508577a5eab4ead78b8b6853a4ac2d66cdeca541b5e384de293a37","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:23:02.932270Z","signature_b64":"m3CzVotPTtlHI/WgsluIFbiEIoL/G8v3VSU2eFqI+72iWr58rrIYPCJfu5IGAFZqPCLwU2+cS6Q8NRHjDCYbDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"10528a86e7508577a5eab4ead78b8b6853a4ac2d66cdeca541b5e384de293a37","last_reissued_at":"2026-05-18T00:23:02.931650Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:23:02.931650Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1802.06571","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-18T00:23:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zdlsMNWWZNVg8ltfWtqUyCH0EgT1ipjGUXA6D7EMMRiZzJjzhxrGNigIL2SxONcVX1ptqnxKMYyiCF0B3JZCAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T09:24:21.170278Z"},"content_sha256":"803770fa786417405c90b60c101be05c885c52aab10923f104199b817ba8b9e0","schema_version":"1.0","event_id":"sha256:803770fa786417405c90b60c101be05c885c52aab10923f104199b817ba8b9e0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:CBJIVBXHKCCXPJPKWTVNPC4LNB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Implementing distributed {\\lambda}-calculus interpreter","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Alexandr Basov, Daniel de Carvalho, Manuel Mazzara","submitted_at":"2018-02-19T09:46:39Z","abstract_excerpt":"This paper describes how one can implement distributed {\\lambda}-calculus interpreter from scratch. At first, we describe how to implement a monadic parser, than the Krivine Machine is introduced for the interpretation part and as for distribution, the actor model is used. In this work we are not providing general solution for parallelism, but we consider particular patterns, which always can be parallelized. As a result, the basic extensible implementation of call-by-name distributed machine is introduced and prototype is presented. We achieved computation speed improvement in some cases, but"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.06571","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-18T00:23:02Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TCEn7gNUYzu+bzpW7B8ZljWnedFWWVjw6GM/+AXEwRmJrgTouWAMkH23lkQv4kKEiMb7o9Pke36TC2cW5vaKDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-25T09:24:21.170653Z"},"content_sha256":"68ae3e17ddc5adc6fb931713ad38b3334b89aefa22fb39c1f9564e890bc8aab3","schema_version":"1.0","event_id":"sha256:68ae3e17ddc5adc6fb931713ad38b3334b89aefa22fb39c1f9564e890bc8aab3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CBJIVBXHKCCXPJPKWTVNPC4LNB/bundle.json","state_url":"https://pith.science/pith/CBJIVBXHKCCXPJPKWTVNPC4LNB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CBJIVBXHKCCXPJPKWTVNPC4LNB/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-25T09:24:21Z","links":{"resolver":"https://pith.science/pith/CBJIVBXHKCCXPJPKWTVNPC4LNB","bundle":"https://pith.science/pith/CBJIVBXHKCCXPJPKWTVNPC4LNB/bundle.json","state":"https://pith.science/pith/CBJIVBXHKCCXPJPKWTVNPC4LNB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CBJIVBXHKCCXPJPKWTVNPC4LNB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:CBJIVBXHKCCXPJPKWTVNPC4LNB","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":"5dbb7ed068a4eb3e7eabedbcceace3c2702213e31e05d9e795cb2c7ea2ea547d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-02-19T09:46:39Z","title_canon_sha256":"03c77deec2b55f5f18d2378187535f1db7235cbdec12077e7a90a5c46b328eb4"},"schema_version":"1.0","source":{"id":"1802.06571","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1802.06571","created_at":"2026-05-18T00:23:02Z"},{"alias_kind":"arxiv_version","alias_value":"1802.06571v1","created_at":"2026-05-18T00:23:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1802.06571","created_at":"2026-05-18T00:23:02Z"},{"alias_kind":"pith_short_12","alias_value":"CBJIVBXHKCCX","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_16","alias_value":"CBJIVBXHKCCXPJPK","created_at":"2026-05-18T12:32:16Z"},{"alias_kind":"pith_short_8","alias_value":"CBJIVBXH","created_at":"2026-05-18T12:32:16Z"}],"graph_snapshots":[{"event_id":"sha256:68ae3e17ddc5adc6fb931713ad38b3334b89aefa22fb39c1f9564e890bc8aab3","target":"graph","created_at":"2026-05-18T00:23:02Z","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 describes how one can implement distributed {\\lambda}-calculus interpreter from scratch. At first, we describe how to implement a monadic parser, than the Krivine Machine is introduced for the interpretation part and as for distribution, the actor model is used. In this work we are not providing general solution for parallelism, but we consider particular patterns, which always can be parallelized. As a result, the basic extensible implementation of call-by-name distributed machine is introduced and prototype is presented. We achieved computation speed improvement in some cases, but","authors_text":"Alexandr Basov, Daniel de Carvalho, Manuel Mazzara","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-02-19T09:46:39Z","title":"Implementing distributed {\\lambda}-calculus interpreter"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1802.06571","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:803770fa786417405c90b60c101be05c885c52aab10923f104199b817ba8b9e0","target":"record","created_at":"2026-05-18T00:23:02Z","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":"5dbb7ed068a4eb3e7eabedbcceace3c2702213e31e05d9e795cb2c7ea2ea547d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-02-19T09:46:39Z","title_canon_sha256":"03c77deec2b55f5f18d2378187535f1db7235cbdec12077e7a90a5c46b328eb4"},"schema_version":"1.0","source":{"id":"1802.06571","kind":"arxiv","version":1}},"canonical_sha256":"10528a86e7508577a5eab4ead78b8b6853a4ac2d66cdeca541b5e384de293a37","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"10528a86e7508577a5eab4ead78b8b6853a4ac2d66cdeca541b5e384de293a37","first_computed_at":"2026-05-18T00:23:02.931650Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:23:02.931650Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"m3CzVotPTtlHI/WgsluIFbiEIoL/G8v3VSU2eFqI+72iWr58rrIYPCJfu5IGAFZqPCLwU2+cS6Q8NRHjDCYbDQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:23:02.932270Z","signed_message":"canonical_sha256_bytes"},"source_id":"1802.06571","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:803770fa786417405c90b60c101be05c885c52aab10923f104199b817ba8b9e0","sha256:68ae3e17ddc5adc6fb931713ad38b3334b89aefa22fb39c1f9564e890bc8aab3"],"state_sha256":"8b7438b7bcfa16ac6d19a0bf7e907873f72e96258aad501db30841ab30a1c639"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Gn88cJSRcbOYIYIQkQDVtH5O1YRSSlRcfotmwN0MM+skdh8b2HQtsFiZHp7LOWdlmr2KRIIMbe+AnBZW3Y6kCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-25T09:24:21.172654Z","bundle_sha256":"644f87c9b10af870567000c4a846382f3f2e5ae89cdf61b93eae7caad47b0de5"}}