{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:MFVBWBFKRWTXEP2YXJ5NINVSDC","short_pith_number":"pith:MFVBWBFK","canonical_record":{"source":{"id":"1901.11411","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-01-31T14:57:39Z","cross_cats_sorted":[],"title_canon_sha256":"bf57d8aa221c74472881ff1e8fea6698ddd6582c817cd36f16c8f4ca372a90cf","abstract_canon_sha256":"3fd15b76f03fc98305ca59a42c60026d137d4b2728dca7d5df0f6bb093183559"},"schema_version":"1.0"},"canonical_sha256":"616a1b04aa8da7723f58ba7ad436b218a5196bed900a866dd6fcc6a78e8f1130","source":{"kind":"arxiv","id":"1901.11411","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.11411","created_at":"2026-05-17T23:55:01Z"},{"alias_kind":"arxiv_version","alias_value":"1901.11411v1","created_at":"2026-05-17T23:55:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.11411","created_at":"2026-05-17T23:55:01Z"},{"alias_kind":"pith_short_12","alias_value":"MFVBWBFKRWTX","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"MFVBWBFKRWTXEP2Y","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"MFVBWBFK","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:MFVBWBFKRWTXEP2YXJ5NINVSDC","target":"record","payload":{"canonical_record":{"source":{"id":"1901.11411","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-01-31T14:57:39Z","cross_cats_sorted":[],"title_canon_sha256":"bf57d8aa221c74472881ff1e8fea6698ddd6582c817cd36f16c8f4ca372a90cf","abstract_canon_sha256":"3fd15b76f03fc98305ca59a42c60026d137d4b2728dca7d5df0f6bb093183559"},"schema_version":"1.0"},"canonical_sha256":"616a1b04aa8da7723f58ba7ad436b218a5196bed900a866dd6fcc6a78e8f1130","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:55:01.922826Z","signature_b64":"a9lGya22ZsRlXUDraRYqJZyWcRT7O+thnH7ukL+zY5WOjTDDtr0DMqwbhQYRDfnd9lSJYtPi/cqZLzD9ZBrpDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"616a1b04aa8da7723f58ba7ad436b218a5196bed900a866dd6fcc6a78e8f1130","last_reissued_at":"2026-05-17T23:55:01.922158Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:55:01.922158Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.11411","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-17T23:55:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6bClySPLiUl58lZVeHmcBC4BSR9MTr3rxR+xKnNnn07A8YvV98cMvDZBTcVlFI10dPrCYQJiSAqyRur2DtLaAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T23:11:51.368183Z"},"content_sha256":"fe6bd39d469382d1c4be63b29139d48f7d98d8f38f8b6cde087e85fe79590af5","schema_version":"1.0","event_id":"sha256:fe6bd39d469382d1c4be63b29139d48f7d98d8f38f8b6cde087e85fe79590af5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:MFVBWBFKRWTXEP2YXJ5NINVSDC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Eliom: A Language for Modular Tierless Web Programming","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Gabriel Radanne, J\\'er\\^ome Vouillon, Vincent Balat","submitted_at":"2019-01-31T14:57:39Z","abstract_excerpt":"Tierless Web programming languages allow programmers to combine client-side and server-side programming in a single program. Programmers can then define components with both client and server parts and get flexible, efficient and typesafe client-server communications. However, the expressive client-server features found in most tierless languages are not necessarily compatible with functionalities found in many mainstream languages. In particular, we would like to benefit from type safety, an efficient execution, static compilation, modularity and separate compilation.\n  In this paper, we prop"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.11411","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-17T23:55:01Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P8ddhC29Doz8oRQkZ8Gj1+mD2EhwaYqGGaAepoPW9rPoKwQ3aP9HapDf9n7HWVSzOkSrMP644NHAHdz7+cLhDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-23T23:11:51.368545Z"},"content_sha256":"6125149566474b3a3a85c10acab96349fe20cba1b70797cdbfd26a25cc7ab5ec","schema_version":"1.0","event_id":"sha256:6125149566474b3a3a85c10acab96349fe20cba1b70797cdbfd26a25cc7ab5ec"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MFVBWBFKRWTXEP2YXJ5NINVSDC/bundle.json","state_url":"https://pith.science/pith/MFVBWBFKRWTXEP2YXJ5NINVSDC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MFVBWBFKRWTXEP2YXJ5NINVSDC/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-23T23:11:51Z","links":{"resolver":"https://pith.science/pith/MFVBWBFKRWTXEP2YXJ5NINVSDC","bundle":"https://pith.science/pith/MFVBWBFKRWTXEP2YXJ5NINVSDC/bundle.json","state":"https://pith.science/pith/MFVBWBFKRWTXEP2YXJ5NINVSDC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MFVBWBFKRWTXEP2YXJ5NINVSDC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:MFVBWBFKRWTXEP2YXJ5NINVSDC","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":"3fd15b76f03fc98305ca59a42c60026d137d4b2728dca7d5df0f6bb093183559","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-01-31T14:57:39Z","title_canon_sha256":"bf57d8aa221c74472881ff1e8fea6698ddd6582c817cd36f16c8f4ca372a90cf"},"schema_version":"1.0","source":{"id":"1901.11411","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.11411","created_at":"2026-05-17T23:55:01Z"},{"alias_kind":"arxiv_version","alias_value":"1901.11411v1","created_at":"2026-05-17T23:55:01Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.11411","created_at":"2026-05-17T23:55:01Z"},{"alias_kind":"pith_short_12","alias_value":"MFVBWBFKRWTX","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"MFVBWBFKRWTXEP2Y","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"MFVBWBFK","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:6125149566474b3a3a85c10acab96349fe20cba1b70797cdbfd26a25cc7ab5ec","target":"graph","created_at":"2026-05-17T23:55:01Z","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":"Tierless Web programming languages allow programmers to combine client-side and server-side programming in a single program. Programmers can then define components with both client and server parts and get flexible, efficient and typesafe client-server communications. However, the expressive client-server features found in most tierless languages are not necessarily compatible with functionalities found in many mainstream languages. In particular, we would like to benefit from type safety, an efficient execution, static compilation, modularity and separate compilation.\n  In this paper, we prop","authors_text":"Gabriel Radanne, J\\'er\\^ome Vouillon, Vincent Balat","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-01-31T14:57:39Z","title":"Eliom: A Language for Modular Tierless Web Programming"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.11411","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:fe6bd39d469382d1c4be63b29139d48f7d98d8f38f8b6cde087e85fe79590af5","target":"record","created_at":"2026-05-17T23:55:01Z","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":"3fd15b76f03fc98305ca59a42c60026d137d4b2728dca7d5df0f6bb093183559","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-01-31T14:57:39Z","title_canon_sha256":"bf57d8aa221c74472881ff1e8fea6698ddd6582c817cd36f16c8f4ca372a90cf"},"schema_version":"1.0","source":{"id":"1901.11411","kind":"arxiv","version":1}},"canonical_sha256":"616a1b04aa8da7723f58ba7ad436b218a5196bed900a866dd6fcc6a78e8f1130","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"616a1b04aa8da7723f58ba7ad436b218a5196bed900a866dd6fcc6a78e8f1130","first_computed_at":"2026-05-17T23:55:01.922158Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:01.922158Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"a9lGya22ZsRlXUDraRYqJZyWcRT7O+thnH7ukL+zY5WOjTDDtr0DMqwbhQYRDfnd9lSJYtPi/cqZLzD9ZBrpDg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:01.922826Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.11411","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fe6bd39d469382d1c4be63b29139d48f7d98d8f38f8b6cde087e85fe79590af5","sha256:6125149566474b3a3a85c10acab96349fe20cba1b70797cdbfd26a25cc7ab5ec"],"state_sha256":"6f0cfddd9ea4a3c605e7ca6dd727abb6ee90afaf3467b63505cac275088e1b68"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"sV7oCN7J2X7YFPrCWHPZAVWpH0jDm4PNX2I0dtTS0U7dP9dZvNKID4wxTATn2H+9f7ca0zkjeBMIzxCnc7LBDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-23T23:11:51.370475Z","bundle_sha256":"70630b2e1d8c2fd2910ce0c0fbf3ea48d8a2a52b21d30f07239eb1509db6daad"}}