{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:PQX3SCTEZWSN3W3ZUJ6UL3SX3N","short_pith_number":"pith:PQX3SCTE","canonical_record":{"source":{"id":"1710.10385","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-28T04:11:48Z","cross_cats_sorted":[],"title_canon_sha256":"e73a0af98a0113a9b4f334694fa32d29419641a948b9d8a56b6ef070fa3e27aa","abstract_canon_sha256":"2f343ee94f1b199b6bba3cdbf99284f250418fb7af170b34cb8c73040626cc13"},"schema_version":"1.0"},"canonical_sha256":"7c2fb90a64cda4dddb79a27d45ee57db43d3a0e782304fc7f9adecb98d7f7573","source":{"kind":"arxiv","id":"1710.10385","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.10385","created_at":"2026-05-18T00:11:28Z"},{"alias_kind":"arxiv_version","alias_value":"1710.10385v2","created_at":"2026-05-18T00:11:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.10385","created_at":"2026-05-18T00:11:28Z"},{"alias_kind":"pith_short_12","alias_value":"PQX3SCTEZWSN","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PQX3SCTEZWSN3W3Z","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PQX3SCTE","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:PQX3SCTEZWSN3W3ZUJ6UL3SX3N","target":"record","payload":{"canonical_record":{"source":{"id":"1710.10385","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-28T04:11:48Z","cross_cats_sorted":[],"title_canon_sha256":"e73a0af98a0113a9b4f334694fa32d29419641a948b9d8a56b6ef070fa3e27aa","abstract_canon_sha256":"2f343ee94f1b199b6bba3cdbf99284f250418fb7af170b34cb8c73040626cc13"},"schema_version":"1.0"},"canonical_sha256":"7c2fb90a64cda4dddb79a27d45ee57db43d3a0e782304fc7f9adecb98d7f7573","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:11:28.940647Z","signature_b64":"hGiY53Tuw3+ASn7PoRVR9StHUVBySZYqkNemBiFpQ/aQRnZksrbFKFSNPrHkEwPKV8V2zaIkCoHf8D5wQKKECg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7c2fb90a64cda4dddb79a27d45ee57db43d3a0e782304fc7f9adecb98d7f7573","last_reissued_at":"2026-05-18T00:11:28.940244Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:11:28.940244Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1710.10385","source_version":2,"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:11:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QLQL0hIBMJoZsxXWjkubonRhTQkMtdg+DikQNXdkxwcXWQT+iQkn831GCBai9UzCNLK/CM5NrVT35N0Fs2pXDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T13:12:36.787011Z"},"content_sha256":"ce39879e279afb0ffe484cdb58842571859a7220488bc09cebc78f5852868d86","schema_version":"1.0","event_id":"sha256:ce39879e279afb0ffe484cdb58842571859a7220488bc09cebc78f5852868d86"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:PQX3SCTEZWSN3W3ZUJ6UL3SX3N","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Capturing the Future by Replaying the Past","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Armando Solar-Lezama, Gabriel Scherer, James Koppel","submitted_at":"2017-10-28T04:11:48Z","abstract_excerpt":"Delimited continuations are the mother of all monads! So goes the slogan inspired by Filinski's 1994 paper, which showed that delimited continuations can implement any monadic effect, letting the programmer use an effect as easily as if it was built into the language. It's a shame that not many languages have delimited continuations.\n  Luckily, exceptions and state are also the mother of all monads! In this Pearl, we show how to implement delimited continuations in terms of exceptions and state, a construction we call $\\textit{thermometer continuations}$. While traditional implementations of d"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.10385","kind":"arxiv","version":2},"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:11:28Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oRELTahARnhfBL5D0eR1FYWfV5seGoNpYBcT+t7vEMNa133obVcDkxN7dejldl6fSrQVC2do2AScsraCEb6fCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T13:12:36.787366Z"},"content_sha256":"1dfa9ae2701fcaefd8474293b2323104ad320fb02ca8bea16b2a92285b559732","schema_version":"1.0","event_id":"sha256:1dfa9ae2701fcaefd8474293b2323104ad320fb02ca8bea16b2a92285b559732"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PQX3SCTEZWSN3W3ZUJ6UL3SX3N/bundle.json","state_url":"https://pith.science/pith/PQX3SCTEZWSN3W3ZUJ6UL3SX3N/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PQX3SCTEZWSN3W3ZUJ6UL3SX3N/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-04T13:12:36Z","links":{"resolver":"https://pith.science/pith/PQX3SCTEZWSN3W3ZUJ6UL3SX3N","bundle":"https://pith.science/pith/PQX3SCTEZWSN3W3ZUJ6UL3SX3N/bundle.json","state":"https://pith.science/pith/PQX3SCTEZWSN3W3ZUJ6UL3SX3N/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PQX3SCTEZWSN3W3ZUJ6UL3SX3N/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:PQX3SCTEZWSN3W3ZUJ6UL3SX3N","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":"2f343ee94f1b199b6bba3cdbf99284f250418fb7af170b34cb8c73040626cc13","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-28T04:11:48Z","title_canon_sha256":"e73a0af98a0113a9b4f334694fa32d29419641a948b9d8a56b6ef070fa3e27aa"},"schema_version":"1.0","source":{"id":"1710.10385","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1710.10385","created_at":"2026-05-18T00:11:28Z"},{"alias_kind":"arxiv_version","alias_value":"1710.10385v2","created_at":"2026-05-18T00:11:28Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1710.10385","created_at":"2026-05-18T00:11:28Z"},{"alias_kind":"pith_short_12","alias_value":"PQX3SCTEZWSN","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PQX3SCTEZWSN3W3Z","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PQX3SCTE","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:1dfa9ae2701fcaefd8474293b2323104ad320fb02ca8bea16b2a92285b559732","target":"graph","created_at":"2026-05-18T00:11:28Z","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":"Delimited continuations are the mother of all monads! So goes the slogan inspired by Filinski's 1994 paper, which showed that delimited continuations can implement any monadic effect, letting the programmer use an effect as easily as if it was built into the language. It's a shame that not many languages have delimited continuations.\n  Luckily, exceptions and state are also the mother of all monads! In this Pearl, we show how to implement delimited continuations in terms of exceptions and state, a construction we call $\\textit{thermometer continuations}$. While traditional implementations of d","authors_text":"Armando Solar-Lezama, Gabriel Scherer, James Koppel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-28T04:11:48Z","title":"Capturing the Future by Replaying the Past"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1710.10385","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:ce39879e279afb0ffe484cdb58842571859a7220488bc09cebc78f5852868d86","target":"record","created_at":"2026-05-18T00:11:28Z","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":"2f343ee94f1b199b6bba3cdbf99284f250418fb7af170b34cb8c73040626cc13","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-10-28T04:11:48Z","title_canon_sha256":"e73a0af98a0113a9b4f334694fa32d29419641a948b9d8a56b6ef070fa3e27aa"},"schema_version":"1.0","source":{"id":"1710.10385","kind":"arxiv","version":2}},"canonical_sha256":"7c2fb90a64cda4dddb79a27d45ee57db43d3a0e782304fc7f9adecb98d7f7573","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7c2fb90a64cda4dddb79a27d45ee57db43d3a0e782304fc7f9adecb98d7f7573","first_computed_at":"2026-05-18T00:11:28.940244Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:11:28.940244Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hGiY53Tuw3+ASn7PoRVR9StHUVBySZYqkNemBiFpQ/aQRnZksrbFKFSNPrHkEwPKV8V2zaIkCoHf8D5wQKKECg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:11:28.940647Z","signed_message":"canonical_sha256_bytes"},"source_id":"1710.10385","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ce39879e279afb0ffe484cdb58842571859a7220488bc09cebc78f5852868d86","sha256:1dfa9ae2701fcaefd8474293b2323104ad320fb02ca8bea16b2a92285b559732"],"state_sha256":"962e894cb7dc8ef634ff830aea14f322e7f7e2e8507afff8b4cc676e0b821fc5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gmBxIwWKLBSq36Dwo+oBvdKtQjtgZqP8YihZGmJOMf47lQpQ9lDXuh/fA51MeZyYaE1pV4JuD4cRtqQ3GPdcDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T13:12:36.789448Z","bundle_sha256":"16295252efd3db30889dc309990a7b012a03f95c2607da6fb77b02e1a1a1b578"}}